[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Model Checking Software

Language EnglishEnglish
Book Paperback
Book Model Checking Software Matthew Dwyer
Libristo code: 01563494
Publishers Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toront... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Cutting Edge 3rd Edition Intermediate Teacher's Book and Teacher's Resource Disk Pack Damian Williams / Paperback
common.buy 48.37 €
Shopkins Cicibiciler - Mutsuz Kurabi / Paperback
common.buy 23.97 €
Underdog Sue-Ann Levy / Hardback
common.buy 35.74 €
Finite Dimensional Convexity and Optimization Monique Florenzano / Hardback
common.buy 134.22 €
Nine Man Eaters and One Rogue Kenneth Anderson / Paperback
common.buy 21.40 €
Resonant Robotic Systems Vladimir I. Babitsky / Hardback
common.buy 134.22 €
Resin Microscopy and On-Section Immunocytochemistry Geoffrey R. Newman / Hardback
common.buy 266.63 €
My School Improvement Doodle Book Ben Keeling / Paperback
common.buy 18.19 €
Softly Calls the Serengeti Frank Coates / Paperback
common.buy 12.30 €

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.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

About the book

Full name Model Checking Software
Author Matthew Dwyer
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 318
EAN 9783540421245
ISBN 3540421246
Libristo code 01563494
Publishers Springer, Berlin
Weight 467
Dimensions 155 x 235 x 17

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account