Details

ISBN/EAN: 978-1-447-15790-8
Einband: kartoniertes Buch
Weitere Details
Auflage:
1. Auflage 2015
Erschienen am:
Sprache:
English
Umfang:
xviii, 326 S.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg


Weitere Details arrow_forward_ios

Using Event-B for Critical Device Software Systems

106,99 €

Lieferbar innerhalb 1 - 2 Wochen