Code: 43423492
Model Checking Software
by Thomas Ball, Sriram K. Rajamani
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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 252
Publisher: Springer Nature B.V., 2014
- More about this
56.79 €
RRP: 56.80 €
You save 0.01 €
In stock at our supplier
Shipping in 10 - 18 days
You might also like
-
Moonwalk
14.01 € -14 % -
The Score
13.71 € -
The Deal
12.30 € -9 % -
The Mistake
14.42 € -
Jujutsu Kaisen, Vol. 30
8.97 € -27 % -
The Goal
14.52 € -7 % -
Berserk Deluxe Volume 1
35.70 € -25 % -
Invincible Compendium Volume 2
45.69 € -24 % -
Legacy
11.89 € -12 % -
Berserk Deluxe Volume 2
33.08 € -30 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
15.02 € -23 % -
Jujutsu Kaisen, Vol. 25
9.68 € -25 % -
Witch Hat Atelier: Grimoire Edition 1
34.90 € -29 % -
Murdoku
14.01 € -25 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.15 € -25 % -
Berserk Deluxe Volume 3
54.97 € -
Witch Hat Atelier Manga Box Set 1
55.68 € -25 % -
Chainsaw Man, Vol. 21
9.27 € -25 % -
The Deal
13.71 € -26 % -
Jujutsu Kaisen, Vol. 26
10.28 € -21 % -
White Nights
4.53 € -14 %
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.
More about Model Checking Software
You get 138 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
56.79 €
- 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: 252
- EAN: 9783662194829
- ID: 43423492
- Publisher: Springer Nature B.V.
- Weight: 359 g
- Dimensions: 234 × 156 mm
- Date of publishing: 12. March 2014
Collection points Bratislava a 12900 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25804 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)