Bild 1 von 1
Standardbild
Bild 1 von 1
Standardbild
Using Event-B for Critical Device Software Systems von Neeraj Kumar Singh (2013, Gebundene Ausgabe)
Preis:
€ 106,99
(inkl. MwSt.)
+ EUR 2,94 Versand
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:
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.