Recent Trends in Algebraic Development Techniques - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2013

Recent Trends in Algebraic Development Techniques

Abstract

Book Front Matter of LNCS 7841
BookFrontmatter.pdf (107.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
382 Download

Altmetric

Share

Gmail Facebook X LinkedIn More