Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Autor:
Stefan Leue, Pedro Merino
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Wo...
