Using Event-B for Critical Device Software Systems

Singh, Neeraj Kumar

Springer Verlag GmbH

€106.99

(inklusive MwSt.)

Verfügbarkeit: Besorgungstitel, Festbezug

Weitere Details

Erschienen: 07.07.2015

Umfang: xviii, 326 S.

Sprache: ENG

Einband: KT

ISBN/EAN: 9781447157908

Umbreit-Nr.: 8402856

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.