Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering - Mar a Alpuente - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642045691 - 26. Oktober 2009
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering 2009 edition

Mar a Alpuente

Preis
Fr. 58,99

Bestellware

Lieferdatum: ca. 18. - 27. Mär
Zu deiner iMusic Wunschliste hinzufügen

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - Programming and Software Engineering 2009 edition

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. 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.


223 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 26. Oktober 2009
ISBN13 9783642045691
Verlag Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Seitenanzahl 213
Maße 155 × 235 × 13 mm   ·   362 g
Sprache Französisch  
Redakteur Alpuente, Maria
Redakteur Cook, Byron
Redakteur Joubert, Christophe