FME ’93: Industrial-Strength Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,1993.Proceedings, Lecture Notes in Computer Science 670

ISBN: 3540566627
ISBN 13: 9783540566625
Herausgeber: James C P Woodcock/Peter G Larsen
Verlag: Springer Verlag GmbH
Umfang: xiii, 695 S.
Erscheinungsdatum: 06.04.1993
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1432876 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …