Recent Trends in Algebraic Development Techniques
Résumé
Book Front Matter of LNCS 11563
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2019
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02364573
Soumis le : vendredi 15 novembre 2019-09:03:12
Dernière modification le : vendredi 4 août 2023-08:40:06
Dates et versions
Licence
Identifiants
- HAL Id : hal-02364573 , version 1
- DOI : 10.1007/978-3-030-23220-7
Citer
José Fiadeiro, Ionuț Țuțu. Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers. Springer International Publishing, LNCS-11563, 2019, Lecture Notes in Computer Science, 978-3-030-23219-1. ⟨10.1007/978-3-030-23220-7⟩. ⟨hal-02364573⟩
Collections
28
Consultations
77
Téléchargements