Code: 01562615

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562615
Price: 51.25 EUR
Availability: InStock
Author: Thomas Ball
ISBN: 9783540401179

by Thomas Ball, Sriram K. Rajamani

Language: English
Binding: Paperback
Number of pages: 241
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003
More about this

51.25 €

RRP: 55.56 €

You save 4.31 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Watchmaking
53.36 € -33 %
Buy
Harry Potter: Patronus Mini Projector Set
14.16 € -17 %
Buy
Made in America: Mi Historia
13.26 € -28 %
Buy
Machinery's Handbook Toolbox
143.42 €
Pre-order
Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka)
21.40 € -10 %
Buy
Dom na azúrovom pobreží
18.38 € -7 %
Buy
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
7.23 € -6 %
Buy
Lucerna 19. května 1978
7.73 € -5 %
Buy
Bedtime Stories (The Silver Collection)
34.37 € -12 %
Buy
Black Veins (Anniversary Edition)
12.35 €
Buy
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
11.15 € -24 %
Buy
Chemical Sensors
158.70 €
Buy
Mensch sein, Mensch bleiben, Mensch verstehen!
15.17 € -10 %
Buy
Dutch Wars of Independence
67.54 €
Buy
Vampires, Race, and Transnational Hollywoods
135.58 €
Buy
Remarks on Davis Strait, Baffin Bay Smith Sound, and the Channels Thence Northward to 82 1/4 N. Compiled from Various Authorities. [A Revised Edition
13.16 € -25 %
Buy
Twelve Years in the Saddle
28.54 € -1 %
Buy
Sonnets and Epigrams on Sacred Subjects
12.55 € -14 %
Buy
Kinderwagen- & Tragetouren um und in München
14.26 € -10 %
Buy
30 Innovations of the Russian Engineer
17.48 €
Buy
Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II
78.69 € -12 %
Buy
N'Oublie Pas Mes Petits Souliers
10.14 €
Buy
Physiocracy, Antiphysiocracy and Pfeiffer
102.31 € -7 %
Buy
Impertinentes: El desgarro de pensar
34.57 €
Buy
Concise Guide to Value Investing
23.61 € -25 %
Buy
Joe Kennedy - Le pouvoir et la malédiction
27.83 €
Buy
It's Never The End: Past Lives Present Destiny
9.34 € -6 %
Buy
What You Should Know About Landscaping Your Garden
15.67 € -7 %
Buy
Cicerone
35.07 € -11 %
Buy
Anisotropic Nanoparticles: Volume 635
25.72 € -14 %
Pre-order
Population Change in the United States
56.38 € -9 %
Buy
Handbook On Family And Community Engagement
52.16 €
Buy
7 Steps To Becoming A Successful eBay Power Seller
8.03 € -7 %
Buy
Contentious Politics in the Middle East
109.85 €
Buy
How to develop our personality: The best and useful ideas to develop our personality
8.03 € -7 %
Buy
LA MAGIA DE LA COMUNICACION
22.10 € -8 %
Buy
Journalist
12.45 € -9 %
Buy
Inflation and Unemployment in a Monetary Union
109.85 €
Buy
Detoxification of Patulin
54.77 € -14 %
Buy
Teacher Guide Year 6
136.09 € -9 %
Buy
Entwicklung der Biographik vom 18. Jh. bis heute am Beispiel ausgewahlter Mozartbiographien
16.07 € -10 %
Buy
Blick auf den Topkapi Palast (Puzzle)
33.86 €
Buy
Miguel Ángel : escultor, pintor y arquitecto
59.59 €
Buy
British Navy
45.82 €
Buy
¡SIN PASAPORTE!
21.10 €
Buy
Frauds Exposed
25.42 € -2 %
Buy
AERONAUTIQUE NAVALE EN ALGERIE (1954-1962)
52.56 €
Buy
Analyse économique
31.85 € -14 %
Buy
Taking Flight
13.16 € -6 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

51.25 €

Full title: Model Checking Software
Subtitle: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Author: Thomas Ball, Sriram K. Rajamani
Language: English
Binding: Paperback
Number of pages: 241
EAN: 9783540401179
ISBN: 3540401172
ID: 01562615
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 400 g
Dimensions: 233 × 155 × 15 mm
Date of publishing: 28. April 2003