Formal Methods for Industrial Critical Systems
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Szerző:
Stefan Leue, Pedro Merino
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 879
Ft
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Wo...
