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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 902 Ft
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 10 376 Ft
AERONAUTIQUE NAVALE EN ALGERIE (1954-1962) ROBIN / Book Hardback
common.buy 19 199 Ft
¡SIN PASAPORTE! BARGOS CUCO / Book Hardback
common.buy 7 561 Ft
Analyse économique Inna Bova / Book Paperback
common.buy 12 456 Ft
LA MAGIA DE LA COMUNICACION SAENZ DE URTURI / Book Paperback
common.buy 9 734 Ft
La Legende du Pere Noel Asso / Audiobook MP3
common.buy 1 405 Ft
Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka) Joanne K. Rowling / Book Hardback
common.buy 6 845 Ft
Made in America: Mi Historia Sam Walton / Book Paperback
common.buy 5 292 Ft
Lucerna 19. května 1978 Švehlík & Amalgam / Audio Audio CD
common.buy 2 551 Ft
Blick auf den Topkapi Palast (Puzzle) Rico Ködder / Game/Toy Game
common.buy 12 179 Ft
Impertinentes: El desgarro de pensar Fullat i Genís / Book Paperback
common.buy 12 400 Ft
Miguel Ángel : escultor, pintor y arquitecto Károly Tolnay / Book Paperback
common.buy 21 298 Ft
N'Oublie Pas Mes Petits Souliers Joseph Connolly / Book Paperback
common.buy 4 077 Ft
Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II Marinella Laini / Book Paperback
common.buy 30 722 Ft
Kinderwagen- & Tragetouren um und in München Elisabeth Göllner-Kampel / Book Paperback
common.buy 5 583 Ft
Sozialpolitisches Handbuch Heinrich Lux / Book Paperback
common.buy 13 833 Ft
Lebensbilder I Honoré de Balzac / Book Hardback
common.buy 10 390 Ft
Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz / Book Paperback
common.buy 5 934 Ft
Entwicklung der Biographik vom 18. Jh. bis heute am Beispiel ausgewahlter Mozartbiographien Katja Schulz / Book Paperback
common.buy 6 272 Ft

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 41 699 Ft
Handbook On Family And Community Engagement Marilyn Murphy / Book Paperback
common.buy 20 960 Ft
Teacher Guide Year 6 Collins Uk / Book Spiral bound
common.buy 52 116 Ft
Glencoe Language Arts, Grade 7 / Book Hardback
common.buy 43 090 Ft
Vampires, Race, and Transnational Hollywoods HUDSON DALE / Book Hardback
common.buy 53 965 Ft
Black Veins (Anniversary Edition) Ashia Monet / Book Paperback
common.buy 4 922 Ft
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 2 930 Ft
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 4 659 Ft
Taking Flight Melinda Sutherland / Book Paperback
common.buy 5 348 Ft
7 Steps To Becoming A Successful eBay Power Seller Demarious Bowens / Book Paperback
common.buy 3 282 Ft
Population Change in the United States Michael E. Cline / Book Paperback
common.buy 19 902 Ft
Machinery's Handbook Toolbox Erik Oberg / Book Hardback
common.buy 56 632 Ft
It's Never The End: Past Lives Present Destiny Alex Raco / Book Paperback
common.buy 3 795 Ft
Sonnets and Epigrams on Sacred Subjects Thomas Edward Bridgett / Book Paperback
common.buy 4 895 Ft
British Navy Thomas Brassey / Book Paperback
common.buy 17 193 Ft
Coming soon
Anisotropic Nanoparticles: Volume 635 C. D. KeatingL. A. LyonP. SearsonS. J. Stranick / Book Hardback
common.buy 9 438 Ft
Physiocracy, Antiphysiocracy and Pfeiffer Jürgen Backhaus / Book Paperback
common.buy 39 688 Ft
Dutch Wars of Independence Marjolein t´Hart / Book Paperback
common.buy 25 808 Ft
Top
Harry Potter: Patronus Mini Projector Set RUNNING PRESS / Game/Toy Toy
common.buy 4 677 Ft
Contentious Politics in the Middle East Fawaz A. Gerges / Book Hardback
common.buy 41 699 Ft
Top
Watchmaking George Daniels / Book Hardback
common.buy 22 763 Ft
Concise Guide to Value Investing Brian McNiven / Book Paperback
common.buy 9 891 Ft
Frauds Exposed Anthony Comstock / Book Paperback
common.buy 10 302 Ft
30 Innovations of the Russian Engineer Anatoly Rozenblat / Book Paperback
common.buy 7 548 Ft

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?