FME ’94: Industrial Benefit of Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 – 28,1994.Proceedings, Lecture Notes in Computer Science 873

ISBN: 3540585559
ISBN 13: 9783540585558
Herausgeber: Maurice Naftalin/Tim Denvir/Miquel Bertran
Verlag: Springer Verlag GmbH
Umfang: xii, 732 S.
Erscheinungsdatum: 12.10.1994
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1431308 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …