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

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Language EnglishEnglish
Book Paperback
Book Model Checking Software Thomas Ball
Libristo code: 01562615
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2003
This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Mode... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Joe Kennedy - Le pouvoir et la malédiction Georges Ayache / Book Paperback
common.buy 29.26 €
AERONAUTIQUE NAVALE EN ALGERIE (1954-1962) ROBIN / Book Hardback
common.buy 54.18 €
¡SIN PASAPORTE! BARGOS CUCO / Book Hardback
common.buy 21.36 €
Analyse économique Inna Bova / Book Paperback
common.buy 32.10 €
LA MAGIA DE LA COMUNICACION SAENZ DE URTURI / Book Paperback
common.buy 27.44 €
La Legende du Pere Noel Asso / Audiobook MP3
common.buy 3.94 €
Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka) Joanne K. Rowling / Book Hardback
common.buy 18.63 €
Made in America: Mi Historia Sam Walton / Book Paperback
common.buy 14.37 €
Lucerna 19. května 1978 Švehlík & Amalgam / Audio Audio CD
common.buy 7.18 €
Blick auf den Topkapi Palast (Puzzle) Rico Ködder / Game/Toy Game
common.buy 34.43 €
Impertinentes: El desgarro de pensar Fullat i Genís / Book Paperback
common.buy 35.03 €
Miguel Ángel : escultor, pintor y arquitecto Károly Tolnay / Book Paperback
common.buy 60.15 €
N'Oublie Pas Mes Petits Souliers Joseph Connolly / Book Paperback
common.buy 11.54 €
Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II Marinella Laini / Book Paperback
common.buy 79.29 €
Kinderwagen- & Tragetouren um und in München Elisabeth Göllner-Kampel / Book Paperback
common.buy 14.37 €
Sozialpolitisches Handbuch Heinrich Lux / Book Paperback
common.buy 35.74 €
Lebensbilder I Honoré de Balzac / Book Hardback
common.buy 26.83 €
Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz / Book Paperback
common.buy 15.28 €
Entwicklung der Biographik vom 18. Jh. bis heute am Beispiel ausgewahlter Mozartbiographien Katja Schulz / Book Paperback
common.buy 16.20 €

This book constitutes the refereed proceedings of the 10th International  SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as  an ICSE 2003 satellite workshop.§The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book  presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

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 Thomas Ball, Sriram K. Rajamani
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 241
EAN 9783540401179
ISBN 3540401172
Libristo code 01562615
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 400
Dimensions 155 x 233 x 15

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 > Information technology: general issues
Computing & Information Technology > Business applications
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

Inflation and Unemployment in a Monetary Union Michael Carlberg / Book Hardback
common.buy 114.64 €
Handbook On Family And Community Engagement Marilyn Murphy / Book Paperback
common.buy 55.09 €
Teacher Guide Year 6 Collins Uk / Book Spiral bound
common.buy 135.20 €
Glencoe Language Arts, Grade 7 / Book Hardback
common.buy 113.43 €
Vampires, Race, and Transnational Hollywoods HUDSON DALE / Book Hardback
common.buy 142.70 €
Black Veins (Anniversary Edition) Ashia Monet / Book Paperback
common.buy 13.06 €
Fuck Stick Swear Word Coloring Book for Adults: swear word coloring book for adults stress relieving designs 8.5" X 11" Mandala Designs 54 Pages Mandala Swearing Books Publishing Co / Book Paperback
common.buy 7.69 €
A Statement of the Facts and Circumstances Connected with the Late Trial of Dr. A.A. Muller, Late Rector of Trinity Church, Clarksville, Tenn., by Whi MULLER / Book Paperback
common.buy 11.94 €
Taking Flight Melinda Sutherland / Book Paperback
common.buy 13.97 €
7 Steps To Becoming A Successful eBay Power Seller Demarious Bowens / Book Paperback
common.buy 8.60 €
Population Change in the United States Michael E. Cline / Book Paperback
common.buy 51.75 €
Machinery's Handbook Toolbox Erik Oberg / Book Hardback
common.buy 149.08 €
It's Never The End: Past Lives Present Destiny Alex Raco / Book Paperback
common.buy 9.92 €
Sonnets and Epigrams on Sacred Subjects Thomas Edward Bridgett / Book Paperback
common.buy 12.65 €
British Navy Thomas Brassey / Book Paperback
common.buy 48.50 €
Coming soon
Anisotropic Nanoparticles: Volume 635 C. D. KeatingL. A. LyonP. SearsonS. J. Stranick / Book Hardback
common.buy 26.63 €
Physiocracy, Antiphysiocracy and Pfeiffer Jürgen Backhaus / Book Paperback
common.buy 103.10 €
Dutch Wars of Independence Marjolein t´Hart / Book Paperback
common.buy 68.05 €
Top
Harry Potter: Patronus Mini Projector Set RUNNING PRESS / Game/Toy Toy
common.buy 11.84 €
Contentious Politics in the Middle East Fawaz A. Gerges / Book Hardback
common.buy 114.64 €
Top
Watchmaking George Daniels / Book Hardback
common.buy 61.87 €
Concise Guide to Value Investing Brian McNiven / Book Paperback
common.buy 25.41 €
Frauds Exposed Anthony Comstock / Book Paperback
common.buy 26.93 €
30 Innovations of the Russian Engineer Anatoly Rozenblat / Book Paperback
common.buy 19.84 €

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?