Hilfe
Feedback
Suche

Using Event-B for Critical Device Software Systems




Preis:
101.64 EUR*
(inkl. MWST zzgl. Versand - Preis kann jetzt höher sein!)
Versand:0.00 EUR Versandkostenfrei innerhalb von Deutschland
Partner:buecher.de
Hersteller:Springer, Berlin; Springer London; Springer (Singh, Neeraj Kumar)
Stand:2015-08-04 03:50:33

Auf meinen Wunschzettel Partnerseite besuchen

Produktbeschreibung

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.


Weitere Informationen und der aktuelle Preis im Shop von buecher.de | Dieses Produkt auf den Wunschzettel legen
* Preis kann jetzt höher sein. Den aktuellen Stand und Informationen zu den Versandkosten finden sie auf der Homepage unseres Partners.

Folgende Produkte könnten dir ebenso gefallen