phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Model Checking Software

Language EnglishEnglish
Book Paperback
Book Model Checking Software Susanne Graf
Libristo code: 01559203
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2004
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec... Full description
? points 154 b
61.56 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

TOP SALE
Bart Simpson Malý rošťák Matt Groening / Paperback
common.buy 1.10 €
Obituary Mario Martinez / Hardback
common.buy 27.99 €
From Divergent Power Series to Analytic Functions Werner Balser / Paperback
common.buy 34.26 €
Multicriteria Analysis for Land-Use Management E. Beinat / Hardback
common.buy 241.01 €
Classic Operating Systems Per Brinch Hansen / Hardback
common.buy 121.31 €
Columbo - Ein Hund fur alle "Felle" Barbara Schilling / Paperback
common.buy 9.90 €
Frontiers in Algorithms D. T. Lee / Paperback
common.buy 62.47 €
Forced Saving Hazel BatemanGeoffrey KingstonJohn Piggott / Paperback
common.buy 49.12 €
Morality and Action Warren Quinn / Hardback
common.buy 127.48 €
Eurythmics / Paperback
common.buy 22.43 €
Knoedelschorsch seine Leckerchen Hans-Georg Karl / Paperback
common.buy 18.59 €
Memoirs of the Courts and Cabinets of George the Third from the Original Family Documents, Volume 1 Richard Plantagenet Buckingham and Chandos / Paperback
common.buy 36.39 €
Mathematical Modeling in Chemical Engineering Anders Rasmuson / Hardback
common.buy 79.86 €
Computational Methods for Electron-Molecule Collisions Franco A. Gianturco / Hardback
common.buy 186.62 €
Adobe Creative Suite All-in-One Desk Reference For Dummies Jennifer DeHaan / Paperback
common.buy 34.46 €

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

About the book

Full name Model Checking Software
Author Susanne Graf, Laurent Mounier
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 314
EAN 9783540213147
ISBN 3540213147
Libristo code 01559203
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 493
Dimensions 155 x 235 x 18

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