[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
B'98: Recent Advances in the Development and Use of the B Method
Sprache
Englisch
Englisch
Buch
Broschur
The book presents 15 revised full papers selected from 29 submissions as well as four invited contri...
Vollständige Beschreibung
Libristo-Code: 05274823
?
161 b
161 b
64.16
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
/
Broschur
14.93
€
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.
Informationen zum Buch
Vollständiger Name
B'98: Recent Advances in the Development and Use of the B Method
Autor
Bert Didier
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
1998
Anzahl der Seiten
320
EAN
9783540644057
ISBN
3540644059
Libristo-Code
05274823
Verlag
Springer, Berlin
Gewicht
434
Abmessungen
156 x 234 x 17
