ISBNs for computer simulation testing data processing congresses

ISBN.nu

search for books and compare prices

computer simulation testing data processing congresses matches 9 work(s)

displaying 1 to 9 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings

By C. R. Ramakrishnan (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642391750 | Springer-Verlag New York Inc, July 19, 2013, cover price $83.00

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

Product Description: This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions...read more

By Madanlal Musuvathi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642223051 | 1 edition (Springer-Verlag New York Inc, January 24, 2012), cover price $69.99 | About this edition: This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.

Model Checking Software: 17th International Spin Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings

By Jaco Van Der Pol (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642161636 | Springer-Verlag New York Inc, October 28, 2010, cover price $89.99

Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

By Stefan Edelkamp (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540733690 | Springer-Verlag New York Inc, August 3, 2007, cover price $99.00

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

Product Description: This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems...read more

By Patrice Godefroid and International Spin Workshop 2005 San Fra

See complete details on each edition (1 edition listed)

Paperback:

9783540281955 | Springer-Verlag New York Inc, October 16, 2005, cover price $99.00 | About this edition: This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.

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

By International Spin Workshop 2002 and Stefan Leue (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540434771 | Springer-Verlag New York Inc, May 1, 2002, cover price $99.00

Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 19-20, 2001 : Proceedings

Product Description: This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems...read more

By Matthew Dwyer (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540421245 | Springer Verlag, June 1, 2001, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.

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

Product Description: The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib...read more

By International Spin Workshop 2000 (other contributor), Klaus Kavelund (editor), John Penix (editor) and Willem Visser (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540410300 | Springer Verlag, October 1, 2000, cover price $109.00 | About this edition: The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?

Practical Aspects of Spin Model-Checking: 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Product Description: Increasing the designerÃ¢Â€Â™s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing...read more

By R. Gerth (editor), J. Hartmanis (editor), M. Massinek (editor), Mieke Massinek (editor) and Spin'9 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540664994 | Springer Verlag, October 1, 1999, cover price $99.00 | About this edition: Increasing the designerÃ¢Â€Â™s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems.

displaying 1 to 9 | at end