Bestellen Terug

Hoofdkenmerken

Auteur:	Joubert, Christophe
Redactie:	Joubert, Christophe
Titel:	Formal Methods for Industrial Critical Systems 14th International Workshop, F
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783642045691
ISBN boekversie:	9783642045707
Serie:	Programming and Software
Editie:	2009 ed.
Land van oorsprong:	Germany
Prijs:	€ 83.84
Verschijningsdatum:	19-10-2009
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Expert systems / knowledge-based systems
Geillustreerd:	X, 213 p.
Dewey code:	005.131

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	213
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	349

 

Inhoud:

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.