Meine Position

# Alle
Advances in Formal Methods
Bücher

Kollektion
Kollektion abonnieren
Immer die neuste Publikation erhalten
1
The Object-Z Specification Language
Buch
The Object-Z Specification Language
2012
Rabatt
-16.6
%
CHF 264.00
CHF
220.13
2
Software Engineering with OBJ
Buch
Software Engineering with OBJ
Algebraic Specification in Action
2010
Rabatt
-15.4
%
CHF 289.00
CHF
244.50
3
Computer-Aided Reasoning
Buch
Computer-Aided Reasoning
ACL2 Case Studies
2010
Rabatt
-16.0
%
CHF 382.00
CHF
320.75
4
Software Engineering with OBJ
Buch
Software Engineering with OBJ
Algebraic Specification in Action
2000
Rabatt
-15.4
%
CHF 289.00
CHF
244.50
5
Computer-Aided Reasoning
Buch
Computer-Aided Reasoning
ACL2 Case Studies
2000
Rabatt
-16.0
%
CHF 382.00
CHF
320.75
6
The Object-Z Specification Language
Buch
The Object-Z Specification Language
1999
Rabatt
-16.8
%
CHF 316.00
CHF
262.77
S
SPIEGEL Bestseller
Hauptkategorie