Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
Publications MoVe | 2023 | 2024 | Total |
---|---|---|---|
Livres | 0 | 0 | 0 |
Éditions de livres | 0 | 0 | 0 |
Articles de revues | 2 | 0 | 2 |
Chapitres de livres | 0 | 0 | 0 |
Conférences | 4 | 1 | 5 |
Habilitations | 0 | 0 | 0 |
Thèses | 2 | 1 | 3 |
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python”, (ISTE Wiley), (ISBN: Print ISBN:9781786305305 |Online ISBN:9781119824121) [Hardin 2021a]
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts and Semantics of Programming Languages 2: Modular and Object‐oriented Constructs with OCaml, Python, C++, Ada and Java”, (ISTE Wiley), (ISBN: Print ISBN:9781786306029 |Online ISBN:9781119851196) [Hardin 2021b]
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++”, (ISTE Editions), (ISBN: 9781784057015) [Hardin 2021c]
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java”, (ISTE Editions), (ISBN: 9781784057022) [Hardin 2021d]
- M. Koutny, F. Kordon, L. Pomello : “Transactions on Petri Nets and Other Models of Concurrency XV”, vol. 12530, Lecture Notes in Computer Science, (Springer) [Koutny 2021]
- J.‑F. Pradat‑Peyre, J. Printz : “Pratique des tests logiciels - 4e édition: Améliorer la qualité par les tests. Gérer une campagne de tests. Préparer la certification ISTQB, EAN 9782100819959”, InfoPro, (Dunod), (ISBN: 9782100819959) [Pradat-Peyre 2021]