Taschenbuch. Zustand: Neu. FME 2002: Formal Methods - Getting IT Right | International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings | Lars-Henrik Eriksson (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540439288 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 245,59
Anzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540439285 ISBN 13: 9783540439288
Anbieter: moluna, Greven, Deutschland
EUR 92,27
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium w.