[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 Patrick Godefroid
Libristo code: 01560970
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2005
This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Chec... 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

Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Paperback
common.buy 10.70 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Paperback
common.buy 51.33 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Hardback
common.buy 222.21 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Paperback
common.buy 10.16 €
GREAT CAROLS Hal Leonard Corp / Paperback
common.buy 15.08 €
Making Good Carolyn Strange / Paperback
common.buy 34.35 €
Across the Seasons Laura Rugel Glise / Paperback
common.buy 22.90 €
Lightning Strikes Stephanie Richards / Paperback
common.buy 16.47 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Paperback
common.buy 10.16 €
Mathematik für Naturwissenschaften: Einführung in die Analysis Thomas Wihler / Paperback
common.buy 26.75 €
Metallbearbeitung. Tl.1 Wolfram Enders / Sheet
common.buy 7.06 €
Die Transformatoren R. Küchler / Paperback
common.buy 80.27 €
Congregational Connections Nancy Burton Dilliplane / Hardback
common.buy 38.52 €

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005.§The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

About the book

Full name Model Checking Software
Author Patrick Godefroid
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 292
EAN 9783540281955
ISBN 3540281959
Libristo code 01560970
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 960
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