Meine Position

# Alle
Advances in Formal Methods
Bücher

Kollektion
Kollektion abonnieren
Immer die neuste Publikation erhalten
1
Lieferbar
The Object-Z Specification Language
Buch
Bücherliste
Anlegen & Teilen
Melden Sie sich mit Ihrem Eldar Store Account an, um Ihre Bücherlisten anzulegen und zu teilen
Anmelden
The Object-Z Specification Language
2012
Rabatt
-14.8
%
CHF 264.00
CHF
225.01
Produktseite
2
Lieferbar
Software Engineering with OBJ
Buch
Bücherliste
Anlegen & Teilen
Melden Sie sich mit Ihrem Eldar Store Account an, um Ihre Bücherlisten anzulegen und zu teilen
Anmelden
Software Engineering with OBJ
Algebraic Specification in Action
2010
Rabatt
-13.7
%
CHF 289.00
CHF
249.44
Produktseite
3
Lieferbar
Computer-Aided Reasoning
Buch
Bücherliste
Anlegen & Teilen
Melden Sie sich mit Ihrem Eldar Store Account an, um Ihre Bücherlisten anzulegen und zu teilen
Anmelden
Computer-Aided Reasoning
ACL2 Case Studies
2010
Rabatt
-14.3
%
CHF 382.00
CHF
327.56
Produktseite
4
Lieferbar
Software Engineering with OBJ
Buch
Bücherliste
Anlegen & Teilen
Melden Sie sich mit Ihrem Eldar Store Account an, um Ihre Bücherlisten anzulegen und zu teilen
Anmelden
Software Engineering with OBJ
Algebraic Specification in Action
2000
Rabatt
-13.7
%
CHF 289.00
CHF
249.44
Produktseite
5
Lieferbar
Computer-Aided Reasoning
Buch
Bücherliste
Anlegen & Teilen
Melden Sie sich mit Ihrem Eldar Store Account an, um Ihre Bücherlisten anzulegen und zu teilen
Anmelden
Computer-Aided Reasoning
ACL2 Case Studies
2000
Rabatt
-14.3
%
CHF 382.00
CHF
327.56
Produktseite
6
Lieferbar
The Object-Z Specification Language
Buch
Bücherliste
Anlegen & Teilen
Melden Sie sich mit Ihrem Eldar Store Account an, um Ihre Bücherlisten anzulegen und zu teilen
Anmelden
The Object-Z Specification Language
1999
Rabatt
-15.0
%
CHF 316.00
CHF
268.68
Produktseite
S
SPIEGEL Bestseller
Hauptkategorie