Recent Trends in Algebraic Development Techniques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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

Paternité

Identifiants

Citer

Narciso Martí-Oliet, Miguel Palomino. Recent Trends in Algebraic Development Techniques: 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012. Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩. ⟨hal-01485894⟩
136 Consultations
381 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More