Recent Trends in Algebraic Development Techniques - Recent Trends in Algebraic DevelopmentTechniques
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

Identifiers

Cite

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⟩
150 View
400 Download

Altmetric

Share

More