Formale Modelle der Softwareentwicklung

Lieferzeit: Lieferbar innerhalb 14 Tagen

37,99 

Model-Checking, Verifikation, Analyse und Simulation

ISBN: 3834806692
ISBN 13: 9783834806697
Autor: Kleuker, Stephan
Verlag: Springer Vieweg
Umfang: x, 301 S., 206 s/w Illustr., 301 S. 206 Abb.
Erscheinungsdatum: 15.09.2009
Auflage: 1/2009
Format: 1.4 x 24 x 17
Gewicht: 541 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1348973 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Vieweg in Springer Science + Business Media
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …