FM 2011: Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24,2011, Proceedings, Lecture Notes in Computer Science 6664 – Programming and Software Engineering

ISBN: 3642214363
ISBN 13: 9783642214363
Herausgeber: Michael Butler/Wolfram Schulte
Verlag: Springer Verlag GmbH
Umfang: xiv, 450 S., 83 s/w Illustr., 27 farbige Illustr., 450 p. 110 illus., 27 illus. in color.
Erscheinungsdatum: 16.06.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4253974 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …