Recent Trends in Algebraic Development Techniques
Résumé
Book Front Matter of LNCS 10644
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2017
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01767477
Soumis le : lundi 16 avril 2018-11:35:12
Dernière modification le : mercredi 9 juin 2021-15:26:02
Dates et versions
Licence
Identifiants
- HAL Id : hal-01767477 , version 1
- DOI : 10.1007/978-3-319-72044-9
Citer
Phillip James, Markus Roggenbach. Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers. Springer International Publishing, LNCS-10644, 2017, Lecture Notes in Computer Science, 978-3-319-72043-2. ⟨10.1007/978-3-319-72044-9⟩. ⟨hal-01767477⟩
Collections
37
Consultations
78
Téléchargements