ISBNs for computer software verification congresses

ISBN.nu

search for books and compare prices

computer software verification congresses matches 31 work(s)

at beginning | displaying 1 to 25 | next 6 >

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

System Specification and Design Languages: Selected Contributions from Fdl 2010

By Adam Morawiec (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9781461414261 | Springer Verlag, December 2, 2011, cover price $179.00

Paperback:

9781489994417 | Springer Verlag, March 3, 2014, cover price $179.00

E-voting and Identity: 4th International Conference Vote-id 2013

Product Description: This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions...read more

By Vanessa Teague (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642391842 | Springer Verlag, July 18, 2013, cover price $72.00 | About this edition: This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013.

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

E-voting and Identity: Third International Conference, Voteid 2011, Tallinn, Estonia, September 28-20, 2011, Revised Selected Papers

Product Description: This volume constitutes the thoroughly refereed post-conference proceedings of the Third Conference on E-Voting and Identity, VOTE-ID 2011, held in Tallinn, Estonia, in September 2011. The 15 revised full papers presented were carefully reviewed and selected from 33 submissions...read more

By Helger Lipmaa (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642327469 | Revised edition (Springer-Verlag New York Inc, August 30, 2012), cover price $72.00 | About this edition: This volume constitutes the thoroughly refereed post-conference proceedings of the Third Conference on E-Voting and Identity, VOTE-ID 2011, held in Tallinn, Estonia, in September 2011.

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 and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

By Jan-Georg Smaus (editor) and Ron Van Der Meyden (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642206733 | Springer-Verlag New York Inc, June 28, 2011, cover price $89.99

Nasa Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, USA, April 18-20, 2011, Proceedings

Product Description: This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions...read more

By Rajeev Joshi (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642203978 | 1 edition (Springer-Verlag New York Inc, May 27, 2011), cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011.

Software and Systems Safety: Specification and Verification

By Manfred Broy (editor), Tony Hoare (editor) and Christian Leuxner (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9781607507109 | Ios Pr Inc, May 15, 2011, cover price $196.00

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

Product Description: This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27-29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri?Cation and on High-performance computational systems Biology...read more

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 | About this edition: This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010).

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

Product Description: This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks...read more

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 | About this edition: This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany.

Computer Aided Verification: 19th International Confernece, Cav 2007, Berlin, Germany, July 3-7, 2007, Proceedings

By Holger Hermanns (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540733676 | Springer-Verlag New York Inc, August 3, 2007, cover price $139.00

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, Hvc 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

By Eyal Bin (editor), Shmuel Ur (editor) and Avi Ziv (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540708889 | Springer Verlag, March 22, 2007, cover price $89.99

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.

Computer Aided Verification: 17th International Conference, Cav 2005, Edinburgh, Scotland, Uk, July 6-10, 2005, Proceedings

Product Description: This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6â10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems...read more

By Kousha Etessami (editor) and Sriram K. Rajamani (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540272311 | Springer-Verlag New York Inc, September 15, 2005, cover price $149.00 | About this edition: This volume contains the proceedings of the International Conference on Computer Aided Veri?

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, Usa, July 13-17, 2004, Proceedings

Product Description: ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems...read more

By Rajeev Alur (editor) and Doron Peled (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540223429 | Springer-Verlag New York Inc, August 15, 2004, cover price $149.00 | About this edition: ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?

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

Product Description: Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in MontrÂ´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003)...read more

By Susanne Graf (editor) and Laurent Mounier (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540213147 | Springer-Verlag New York Inc, April 30, 2004, cover price $99.00 | About this edition: Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in MontrÂ´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).

Numerical Software With Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003 : Revised Papers

Product Description: Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors...read more

By Rene Alt (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540212607 | Springer-Verlag New York Inc, April 28, 2004, cover price $99.00 | About this edition: Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct.

Model Checking Software: 10th International Spin Workshop, Portland, Or, Usa, May 9-10, 2003 : Proceedings

By Thomas Ball (editor) and Sriram K. Rajamani

See complete details on each edition (1 edition listed)

Paperback:

9783540401179 | Springer-Verlag New York Inc, June 1, 2003, cover price $99.00

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

Product Description: The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at MontrÂ´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001)...read more (view table of contents, read Amazon.com's description)

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 | About this edition: The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?

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 (view table of contents, read Amazon.com's description)

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.

The Spin Verification System: Dimacs Workshop, August 5, 1996

Product Description: What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and telephone switching code...read more

By Jean-Charles Gregoire, Gerard J. Holzmann, Doron Peled and Workshop on the Spin Verification System (other contributor)

See complete details on each edition (1 edition listed)

Hardcover:

9780821806807 | Amer Mathematical Society, June 1, 1997, cover price $63.00 | About this edition: What is Spin?

Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996

Product Description: This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata and formal languages theory...read more

By Gerard J. Holzmann (editor), Doron A. Peled (editor) and Vaughan R. Pratt (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780821805794 | Amer Mathematical Society, January 1, 1997, cover price $109.00 | About this edition: This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems.

Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings

Product Description: This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems...read more

By D. K. Probst (editor) and G. Von Bochmann

See complete details on each edition (1 edition listed)

Paperback:

9780387564968 | Springer Verlag, August 1, 1994, cover price $84.95 | About this edition: This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992.

at beginning | displaying 1 to 25 | next 6 >