Model Checking Software Image close
Model Checking Software
Model Checking Software
Show Hide Adult Content
Model Checking Software close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$173.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $43.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 20 Jun - 2 Jul using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Integration of AI and OR Techniques in Constraint Programming Save $57
$140.99
$198.95
Integration of AI and OR Techniques in Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Computation
$277.99
Algorithms and Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorics on Words
$133.99
Combinatorics on Words
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks and Machine Learning - ICANN 2011 Save $39
$140.99
$180.95
Artificial Neural Networks and Machine Learning - ICANN 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science Save $13
$135.99
$149.95
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Coalgebraic Methods in Computer Science
$135.99
Coalgebraic Methods in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Software -- ICMS 2014 Save $61
$148.99
$210.95
Mathematical Software -- ICMS 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Language, Logic, and Computation
$135.99
Language, Logic, and Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Application and Theory of Petri Nets and Concurrency Save $60
$137.99
$198.95
Application and Theory of Petri Nets and Concurrency
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinatorial Optimization Save $13
$139.99
$153.95
Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Language and Automata Theory and Applications Save $45
$135.99
$181.95
Language and Automata Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
High Performance Computing Save $68
$135.99
$204.95
High Performance Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks -- ISNN 2011
$270.99
Advances in Neural Networks -- ISNN 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic-Based Program Synthesis and Transformation
$135.99
Logic-Based Program Synthesis and Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Information and Communication Complexity Save $12
$146.99
$159.95
Structural Information and Communication Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Data Structures Save $49
$135.99
$185.95
Algorithms and Data Structures
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.
Release date Australia
July 25th, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Alastair Donaldson
  • Edited by David Parker
Illustrations
85 Illustrations, black and white; X, 261 p. 85 illus.
Pages
261
Dimensions
156x234x14
ISBN-13
9783642317583
Product ID
20620672

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering >
Software testing & verification
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation