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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Model Checking Software

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

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 125 b
51.63 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die Transformatoren R. Küchler / Book Paperback
common.buy 76.99 €
K fyrir Klara 13 - Andinn i glasinu Line Kyed Knudsen / E-book Adobe ePub DRM
common.buy 2.62 €
Coming soon
Warhammer 40,000: Space Marine 2 Action Figure Ultramarines Relic Secundus Armour 20 cm Game/Toy Toy
common.buy 78.71 €
O Instrutor Do Mundo Para Toda a Humanidade Benjamin Creme / E-book Adobe ePub DRM
common.buy 0.90 €
ETNOGRAFIA PARA EDUCADORES (EDICION PARA COLOMBIA) CELIGUETA COMERMA / Book Paperback
common.buy 7.47 €
Global Tools (1973-1975) / Book Hardback
common.buy 42.53 €
Sovranità. Origine e futuro di un concetto chiave Dieter Grimm / Book Paperback
common.buy 20.50 €
Ineos Grenadier Jörg Sand / Book Hardback
common.buy 16.87 €
Šťastie na prenájom Lucia Braunová / Book Paperback
common.buy 7.27 €
Passwort Logbuch Uwe H. Sültz / Book Paperback
common.buy 4.64 €
SLOVO BUDHOVO Nyánatiloka Maháthera / Book Book
common.buy 7.57 €
Manifest des evolutionären Humanismus Michael Schmidt-Salomon / Book Paperback
common.buy 10.90 €
La Region Mas Transparente Carlos Fuentes / Book Paperback
common.buy 18.28 €
Alkohol am Arbeitsplatz. Sensibilisierung fur Fuhrungskrafte Nadine Leykam / Book Paperback
common.buy 42.74 €
Aronia - Das heimische Superfood Tanja Braune / Book Paperback
common.buy 16.87 €
Cuentos Que Siempre Debiste Leer Vicente Garcia Rodriguez / Book Paperback
common.buy 6.15 €
PASOS Y ETAPAS DE 1 A 3 AÑOS PITMAN / Book Paperback
common.buy 28.49 €
Přijímačky na vysoké školy v pohodě Studijní předpoklady / Book Paperback
common.buy 17.37 €
Les Petits Loustics Hugues Denisot / Book Paperback
common.buy 15.45 €
Ingenieurbauführer Berlin Roland May / Book Paperback
common.buy 25.25 €
Main de fer et gant de velours Virginie Platel / Book Paperback
common.buy 22.83 €
En Ovantad flykt till Sverige Tadesse Kassa / Book Paperback
common.buy 10.90 €
Ortografia 4 Prrimer Ciclo E.S.O. Blanco Rubio / Book Paperback
common.buy 8.48 €

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.

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 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

You might also be interested in

Mini Look & Find at School (Mini Look & Find) Thierry Laval / Book Hardback
common.buy 9.69 €
Across the Seasons Laura Rugel Glise / Book Paperback
common.buy 19.19 €
SELECTED SONATA MOVEMENTS VOLUME 1 LUDWIG VA BEETHOVEN / Book Paperback
common.buy 21.11 €
Livelihoods, Natural Resources, and Post-Conflict Peacebuilding Helen Young / Book Hardback
common.buy 208.87 €
Home On Bramble Hill Holly Martin / Audiobook MP3
common.buy 15.15 €
Not in the Flesh Ruth Rendell / Book Paperback
common.buy 15.55 €
Lakeland Lynn M. Homan / Book Paperback
common.buy 20.81 €
The English Baptists John Clifford / Book Hardback
common.buy 41.32 €
White Cats Book Marjo-Kaisu Niinikoski / Book Paperback
common.buy 20.91 €
Gabriella's Reading Log Martha Day Zschock / Book Hardback
common.buy 15.75 €
Effect of loads and air flow on an agricultural tractor engine Fabio Gomes / Book Paperback
common.buy 35.66 €
Lightning Strikes Stephanie Richards / Book Paperback
common.buy 13.53 €
GREAT CAROLS Hal Leonard Corp / Book Paperback
common.buy 13.23 €
Andante and Caprice: Clarinet Quartet - Grade 2.5 C. W. Gluck / Book Paperback
common.buy 8.88 €
A Newbies Guide to Using iMovie For the iPad Minute Help Guides / Book Paperback
common.buy 14.84 €
Beyond the Messier and Caldwell Catalogues MR Martin P Nicholson / Book Paperback
common.buy 9.99 €
Double Digit Annabel Monaghan / E-book Adobe ePub DRM
common.buy 2.52 €
Understanding FIDIC Kelvin Hughes / Book Hardback
common.buy 177.74 €
Horrible Craft Book Laura Minter / Book Paperback
common.buy 15.75 €
Georgian Tinatin Bolkvadze / Book Hardback
common.buy 188.15 €
Fishing Holidays Stephen Gwynn / Book Paperback
common.buy 24.04 €
Fist Number 6 Dean Whittington / Book Hardback
common.buy 27.17 €
Hegel J. M. Fritzman / Book Paperback
common.buy 28.69 €
African Women and Apartheid Rebekah Lee / Book Hardback
common.buy 194.72 €

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