Editions

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings

Current edition
Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings

287 pages

nonfiction computer science design informative medium-paced
Other editions (8)
Expand filter menu Filter editions
Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 19th International Spin Workshop, Oxford, Uk, July 23-24, 2012. Proceedings

261 pages

nonfiction computer science design informative medium-paced
Spin 2004 - Proceedings of the 16th International Spin Physics Symposium and Workshop on Polarized Electron Sources and Polarimeters [With CDROMWith C by

Lecture Notes in Computer Science

Spin 2004 - Proceedings of the 16th International Spin Physics Symposium and Workshop on Polarized Electron Sources and Polarimeters [With CDROMWith C

1012 pages

nonfiction computer science design informative medium-paced
Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

307 pages

nonfiction computer science design informative medium-paced
Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings

262 pages

nonfiction computer science design informative medium-paced
Model Checking Software by

Lecture Notes in Computer Science

Model Checking Software

295 pages

nonfiction computer science design informative medium-paced
Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings by

Lecture Notes in Computer Science

Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30 - September 1, 2000 Proceedings

346 pages

nonfiction computer science design informative medium-paced
Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

308 pages

nonfiction computer science design informative medium-paced
Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings

193 pages

nonfiction computer science design informative medium-paced