Browse editions

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

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

Lecture Notes in Computer Science

287 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

261 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

1012 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

307 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

262 pages • missing pub info (editions)

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

Model Checking Software

Lecture Notes in Computer Science

295 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

346 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

308 pages • missing pub info (editions)

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

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

Lecture Notes in Computer Science

193 pages • missing pub info (editions)

nonfiction computer science design informative medium-paced
More...