Recent Trends in Algebraic Development Techniques - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2013

Recent Trends in Algebraic Development Techniques

Résumé

Book Front Matter of LNCS 7841
BookFrontmatter.pdf (107.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01485894 , version 1 (09-03-2017)

Licence

Identifiants

Citer

Narciso Martí-Oliet, Miguel Palomino. Recent Trends in Algebraic Development Techniques. Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩. ⟨hal-01485894⟩
149 Consultations
397 Téléchargements

Altmetric

Partager

More