Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 7841
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
Books
Year : 2013
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01485894
Submitted on : Thursday, March 9, 2017-2:53:53 PM
Last modification on : Tuesday, October 19, 2021-3:44:46 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01485894 , version 1
- DOI : 10.1007/978-3-642-37635-1
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⟩
Collections
146
View
394
Download