Integrated Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 – December 2,2005. Proceedings, Lecture Notes in Computer Science 3771 – Programming and Software Engineering

ISBN: 3540304924
ISBN 13: 9783540304920
Herausgeber: Judi M T Romijn/Graeme P Smith/Jaco C van de Pol
Verlag: Springer Verlag GmbH
Umfang: xi, 407 S.
Erscheinungsdatum: 24.11.2005
Auflage: 1/2005
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 9724789 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …