Abstract State Machines, Alloy, B,VDM, and Z

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Third International Conference, ABZ 2012, Pisa, Italy, June 18-21,2012.Proceedings, Lecture Notes in Computer Science 7316 – Theoretical Computer Science and General Issues

ISBN: 3642308848
ISBN 13: 9783642308840
Herausgeber: John Derrick/John Fitzgerald/Stefania Gnesi et al
Verlag: Springer Verlag GmbH
Umfang: xv, 378 S., 133 s/w Illustr., 378 p. 133 illus.
Erscheinungsdatum: 12.06.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3540041 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …