FME ’96: Industrial Benefit and Advances in Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 – 22,1996.Proceedings., Lecture Notes in Computer Science 1051

ISBN: 3540609733
ISBN 13: 9783540609735
Herausgeber: Marie-Claude Gaudel/James Woodcock
Verlag: Springer Verlag GmbH
Umfang: xiii, 711 S.
Erscheinungsdatum: 06.03.1996
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1513271 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …