ZB 2002: Formal Specification and Development in Z and B | 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings | ISBN 9783540456483

ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

herausgegeben von Didier Bert, Jonathan P. Bowen, Martin C. Henson und Ken Robinson
Mitwirkende
Herausgegeben vonDidier Bert
Herausgegeben vonJonathan P. Bowen
Herausgegeben vonMartin C. Henson
Herausgegeben vonKen Robinson

ISBN-Daten

Digitalprodukt / E-Book
 
eBook, PDF
541 Seiten
erschienen am
31.07.2003
Sprache
Englisch
Rubrik
Mathematische Grundlagen
ISBN-10
3-540-45648-1
Lieferstatus
verfügbar
Preis
53,49 €*
eBook kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)
Veranstaltung eintragen

Passend

Buchcover ZB 2002: Formal Specification and Development in Z and B

ZB 2002: Formal Specification and Development in Z and B