Abrial, J: The B-Book Assigning Programs to Meanings
-
- Hardcover ausgewählt
- Taschenbuch
-
Sprache:Englisch
Fr. 106.00
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Gebundene Ausgabe
Erscheinungsdatum
10.10.1996
Verlag
Cambridge University PressSeitenzahl
813
Maße (L/B/H)
25.5/18.1/5 cm
Gewicht
1587 g
Sprache
Englisch
ISBN
978-0-521-49619-3
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.