Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science - Mari Lle Stoelinga - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642324680 - 2012. gada 17. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Cena
€ 49,99

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

Paredzamā piegāde . gada 23. sept. - . gada 1. okt.
Saņemiet paziņojumus par jauniem Mari Lle Stoelinga izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. 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.


240 pages, 87 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 17. jūlijs
ISBN13 9783642324680
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Žanrs Aspects (Academic) > Science / Technology Aspects
Lapas 223
Izmēri 155 × 235 × 12 mm   ·   340 g
Valoda Vācu  
Redaktors Pinger, Ralf
Redaktors Stoelinga, Marielle

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