- 0 Ergebnisse
Kleinster Preis: € 44,90, größter Preis: € 64,19, Mittelwert: € 56,67
1
Formal Methods for Industrial Critical Systems  15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings  Stefan Kowalewski  Taschenbuch  Englisch  2010 - Kowalewski, Stefan
Bestellen
bei booklooker.de
€ 44,90
Versand: € 0,00
Bestellen
Kowalewski, Stefan:

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Stefan Kowalewski Taschenbuch Englisch 2010 - Taschenbuch

2010, ISBN: 9783642158971

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
2
Formal Methods for Industrial Critical Systems  15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings  Stefan Kowalewski  Taschenbuch  Englisch  2010 - Kowalewski, Stefan
Bestellen
bei booklooker.de
€ 45,90
Versand: € 0,00
Bestellen

Kowalewski, Stefan:

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Stefan Kowalewski Taschenbuch Englisch 2010 - Taschenbuch

2010, ISBN: 9783642158971

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
3
Formal Methods for Industrial Critical Systems - Stefan Kowalewski; Marco Roveri
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,00
Bestellen
Stefan Kowalewski; Marco Roveri:
Formal Methods for Industrial Critical Systems - Taschenbuch

2010

ISBN: 9783642158971

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, Buch, Softcover, This volume contains the papers presented at FMICS 2010, the 15th Inter- ti… Mehr…

Versandkosten:sofort lieferbar. (EUR 0.00)
Bezahlte Anzeige
4
Formal Methods for Industrial Critical Systems - Kowalewski, Stefan
Bestellen
bei Studibuch.de
€ 64,19
Bestellen
Kowalewski, Stefan:
Formal Methods for Industrial Critical Systems

2010, EAN: 9783642158971

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Ant… Mehr…

, , Versandkosten:0, 1, DE., zzgl. Versandkosten
5
Bestellen
bei AbeBooks.de
€ 64,19
Versand: € 3,89
Bestellen
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science (6371), Band 6371) [Paperback] Kowalewski, Stefan and Roveri, Marco - Taschenbuch

2010, ISBN: 3642158978

[EAN: 9783642158971], Neubuch, [PU: Springer-Verlag GmbH], Kartoniert, 230 Seiten, 238mm x 156mm x 24mm, Sprache(n): eng Sprache: Englischg Gewicht in Gramm: 424

NEW BOOK. Versandkosten: EUR 3.89 Studibuch, Stuttgart, Germany [70002967] [Rating: 3 (von 5)]

Details zum Buch
Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering, The 14 papers presented were carefully reviewed and selected from 33 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Detailangaben zum Buch - Formal Methods for Industrial Critical Systems


EAN (ISBN-13): 9783642158971
ISBN (ISBN-10): 3642158978
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
230 Seiten
Gewicht: 0,424 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-12-25T06:23:51+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-05-26T17:46:11+02:00 (Vienna)
ISBN/EAN: 9783642158971

ISBN - alternative Schreibweisen:
3-642-15897-8, 978-3-642-15897-1


Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030002435 Formal Methods for Industrial Critical Systems (Falk Howar; JiÅ?í Barnat)


< zum Archiv...