![Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain,](https://d3525k1ryd2155.cloudfront.net/f/147/213/9783540213147.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings Paperback / softback - 2004 - 2004th Edition
by Susanne Graf
- New
- Paperback
Description
New
NZ$125.64
NZ$20.87
Shipping to USA
Standard delivery: 14 to 21 days
More Shipping Options
Standard delivery: 14 to 21 days
Ships from The Saint Bookstore (Merseyside, United Kingdom)
About The Saint Bookstore Merseyside, United Kingdom
Biblio member since 2018
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Details
- Title Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
- Author Susanne Graf
- Binding Paperback / softback
- Edition number 2004th
- Edition 2004
- Condition New
- Pages 314
- Volumes 1
- Language ENG
- Publisher Springer, New York
- Date 2004-03-18
- Illustrated Yes
- Features Bibliography, Illustrated, Index, Table of Contents
- Bookseller's Inventory # B9783540213147
- ISBN 9783540213147 / 3540213147
- Weight 1.1 lbs (0.50 kg)
- Dimensions 9.2 x 6.1 x 0.8 in (23.37 x 15.49 x 2.03 cm)
- Library of Congress Catalog Number 2004102408
- Dewey Decimal Code 005.1