-
76. Foundations of Algebraic Specification and Formal Software Development
by Donald Sannella; Andrzej Tarlecki
eBook See More Details
2011, Springer Nature
eBook ISBN: 9783642173356
Edition: 2012 edition
Format: PDF eBook
Digital download
$83.40
-
77. Verification, Model Checking, and Abstract Interpretation
by Gilles Barthe; Âmanuel Hermenegildo
eBook See More Details
Springer Nature
eBook ISBN: 9783642113185
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
78. Logics of Specification Languages
by Author
eBook See More Details
2010, Springer Nature
eBook ISBN: 9783642093456
Format: PDF eBook
Digital download
$47.70
-
79. Introduction to Process Algebra
by Wan Fokkink
eBook See More Details
2010, Springer Nature
eBook ISBN: 9783642085840
Format: PDF eBook
Digital download
$16.50
-
80. Petri Nets for Systems Engineering
by Claude Girault; Rüdiger Valk
eBook See More Details
2010, Springer Nature
eBook ISBN: 9783642074479
Format: PDF eBook
Digital download
$26.70
|
