Using Event-B for Critical Device Software Systems von Neeraj Kumar Singh (2013, Gebundene Ausgabe)

Schreiben Sie die ersteRezension.
Preis:
€ 106,99
(inkl. MwSt.)
+ EUR 2,94 Versand
Lieferung ca. Mo, 13. Mai - Fr, 17. Mai
Rücknahmen:
1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.
Artikelzustand:
Neu
Dies gilt insbesondere wenn eine ISBN durch den Verlag doppelt vergeben wurde. Im Einzelfall bzw. Rechnung legen wir bei. This is assessed and evaluated via a standard case study: the cardiac pacemaker.