Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Model Checking Software

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Klaus Havelund
Libristo code: 01570383
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2008
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Chec... Full description
? points 125 b
51.72 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.§The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Model Checking Software
Author Klaus Havelund, Rupak Majumdar, Jens Palsberg
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 343
EAN 9783540851134
ISBN 3540851135
Libristo code 01570383
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 545
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?