-
1. Formal Verification of Object-Oriented Software
by Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642317613
Edition: 1st edition
Format: PDF eBook
Digital download
$15.00
-
2. Formal Verification of Object-Oriented Software
by Bernhard Beckert; Âclaude Marché
eBook See More Details
2011, Springer Nature
eBook ISBN: 9783642180699
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
3. Formal Methods for Components and Objects
by Frank S. De Boer; Âmarcello M. Bonsangue; Âstefan Hallerstede
eBook See More Details
2011, Springer Nature
eBook ISBN: 9783642170706
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
4. 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
$16.50
-
5. The Unified Modeling Language. '98: Beyond the Notation
by Jean Bézivin; Pierrealain Muller
eBook See More Details
1999, Springer Nature
eBook ISBN: 9783540662525
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
|
