-
76. Formal Methods for Components and Objects
by Frank S. De Boer; Âmarcello M. Bonsangue; Âsusanne Graf
eBook See More Details
2007, Springer Nature
eBook ISBN: 9783540747918
Edition: 1st edition
Format: PDF eBook
Digital download
$33.00
-
77. Challenges for Action Theories
by Michael Thielscher
eBook See More Details
2000, Springer Nature
eBook ISBN: 9783540674559
Edition: 2000 edition
Format: PDF eBook
Digital download
$16.50
-
78. Fm'99-Formal Methods
by Jeannette M. Wing; Jim Woodcook; Jim Davies
eBook See More Details
1999, Springer Nature
eBook ISBN: 9783540665878
Edition: 1st edition
Format: PDF eBook
Digital download
$29.70
-
79. Algebraic Foundations of Systems Specification
by Egidio Astesiano; Bernd Kriegbrueckner; Hansjörg Kreowski
eBook See More Details
1999, Springer Nature
eBook ISBN: 9783540637721
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
80. Lectures on Formal Methods and Performance Analysis
by Ed Brinksma; Âholger Hermanns; Âjoostpieter Katoen
eBook See More Details
2001, Springer Nature
eBook ISBN: 9783540424796
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
