Using Event-B for Critical Device Software Systems
€106.99
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 02.07.2013
Umfang: xviii, 326 S.
Sprache: ENG
Einband: GEB
ISBN/EAN: 9781447152590
Umbreit-Nr.: 4728289
