Model Checking Software

Language: English

Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2004

3540213147 / 9783540213147

  • Softcover
  • New
See all details

Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK

5-star seller

AbeBooks seller since June 11, 2025

Softcover

Condition: New

£ 54.01

£ 65.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Add to basket
Free 30-day returns

Item description from seller

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004. The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on heuristics and probabilities, improvements of SPIN, validation of timed systems, tool presentations, abstraction and symbolic methods, and applications.

Seller Inventory # LU-9783540213147

Title
Model Checking Software
Author
Susanne Graf
Publisher
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
Publication year
2004
Condition
New
Binding
Paperback
Language
English
ISBN 10
3540213147
ISBN 13
9783540213147
Edition
2004 ed.
Item weight
476 grams
Dimensions
15.49 x 1.85 x 23.5 cm

Rarewaves.com UK

London, United Kingdom

5-star seller

AbeBooks seller since June 11, 2025

Shipping rates from United Kingdom to U.S.A.

Item60 to 60 business days60 to 60 business days
First item£ 65.00£ 100.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, United Kingdom W1W 8BE