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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642045691 - 2009. gada 26. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. aug. - . gada 11. sept.
Saņemiet paziņojumus par jauniem Mar a Alpuente izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2009. gada 26. oktobris
ISBN13 9783642045691
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Žanrs Aspects (Academic) > Science / Technology Aspects
Lapas 213
Izmēri 155 × 235 × 13 mm   ·   362 g
Valoda Franču  
Redaktors Alpuente, Maria
Redaktors Cook, Byron
Redaktors Joubert, Christophe

Vairāk no tā paša izdevēja