Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916)
$53.79
from $28.31
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... (Lecture Notes in Computer Science, 3956)
$52.99
from $28.77
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science, 3639)
$33.82
from $18.94
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture Notes in Computer Science, 6371)
$54.99
from $51.52
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912)
$54.94
from $37.00
Model Checking Software
$5.36
from $3.99
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
from $6.77
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science, 2589)
from $27.88
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... (Lecture Notes in Computer Science, 1680)
from $8.55
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, 7437)
$49.99
from $47.91
More results from Amazon »