Computation Engineering

Lieferzeit: Lieferbar innerhalb 14 Tagen

74,85 

Formal Specification and Verification Methods

ISBN: 0387244190
ISBN 13: 9780387244198
Autor: Gopalakrishnan, Ganesh
Verlag: Springer Verlag GmbH
Umfang: 400 S.
Erscheinungsdatum: 25.02.2010
Auflage: 1/2010
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 1574427 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …