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 development  
Software Engineering

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Quantitative Evaluation of Systems
$152.00
Quantitative Evaluation of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Topics in Theoretical Computer Science
$151.00
Topics in Theoretical Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Queueing Theory and Network Applications
$151.00
Queueing Theory and Network Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation: Extending Horizons of Computing
$139.00
Reversible Computation: Extending Horizons of Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Applications of Satisfiability Testing - SAT 2014
$156.00
Theory and Applications of Satisfiability Testing - SAT 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamic Data Driven Applications Systems
$151.00
Dynamic Data Driven Applications Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$154.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$267.00
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$292.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$149.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2019: Parallel Processing Workshops
$292.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
SOFSEM 2021: Theory and Practice of Computer Science
$292.00
SOFSEM 2021: Theory and Practice of Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science – ICCS 2020
$151.00
Computational Science – ICCS 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$151.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$162.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Relational Methods in Computer Science
$159.00
Relational Methods in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Release date NZ
August 3rd, 2021
Contributors
  • Edited by Alfons Laarman
  • Edited by Ana Sokolova
Pages
195
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
43 Illustrations, color; 27 Illustrations, black and white; X, 195 p. 70 illus., 43 illus. in color.
ISBN-13
9783030846282
Product ID
35173659

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 development >
Software Engineering
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems