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
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 11.49 €
Shopping guide
My account
▸
Empty :-(
0
Model Checking Software
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Language
English
English
Book
Paperback
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Chec...
Full description
Libristo code: 01559203
?
141 b
141 b
58.53
€
Low in stock at our supplier
Shipping in 13-18 days
30-day return policy
Customers also purchased
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.
Actress
&
Polyglot
EWA KASP
for
Play video
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
Susanne Graf, Laurent Mounier
Language
English
English
Binding
Book - Paperback
Date of issue
2004
Number of pages
314
EAN
9783540213147
ISBN
3540213147
Libristo code
01559203
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
