Stock Photo: Cover May Be Different
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Susanne Graf
- New
- Paperback
- Condition
- New
- ISBN 10
- 3540213147
- ISBN 13
- 9783540213147
- Seller
-
Southport, Merseyside, United Kingdom
10 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Paperback / softback. New. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- The Saint Bookstore (GB)
- Bookseller's Inventory #
- B9783540213147
- Title
- Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
- Author
- Susanne Graf
- Format/Binding
- Paperback / softback
- Book Condition
- New
- Quantity Available
- 10
- Binding
- Paperback
- ISBN 10
- 3540213147
- ISBN 13
- 9783540213147
- Publisher
- Springer
- Place of Publication
- New York
- This edition first published
- 2004-04
Terms of Sale
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
About the Seller
The Saint Bookstore
Biblio member since 2018
Southport, Merseyside
About The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...