Titel
The B Language and Method
Untertitel
A Guide to Practical Formal Development
Autor
EAN
9781447114949
Format
E-Book (pdf)
Hersteller
Veröffentlichung
06.12.2012
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
21.69 MB
Anzahl Seiten
232
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.