Computer-Aided Verification

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 

A Special Issue of Formal Methods In System Design on Computer-Aided Verification

ISBN: 1461365791
ISBN 13: 9781461365792
Herausgeber: Robert Kurshan
Verlag: Springer Verlag GmbH
Umfang: iv, 142 S., 4 s/w Illustr.
Erscheinungsdatum: 05.10.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4370412 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …