Stock Photo: Cover May Be Different
Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings Paperback - 2004 - 2004th Edition
by Susanne Graf (Editor); Laurent Mounier (Editor)
Details
- Title Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
- Author Susanne Graf (Editor); Laurent Mounier (Editor)
- Binding Paperback
- Edition number 2004th
- Edition 2004
- Pages 314
- Volumes 1
- Language ENG
- Publisher Springer, New York
- Date 2004-03-18
- Illustrated Yes
- 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
More Copies for Sale
Stock Photo: Cover May Be Different
Model Checking Software
by Graf, Susanne [Editor]; Mounier, Laurent [Editor];
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
$3.99$5.99 shipping to USA
Show Details
Description:
Springer, 2004-04-28. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
$3.99
$5.99
shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software
by Susanne Graf (Editor), Laurent Mounier (Editor)
- Used
- Paperback
- Condition
- Used:Good
- Edition
- 2004
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$6.97FREE shipping to USA
Show Details
Description:
Springer, 2004-04-28. 2004. Paperback. Used:Good.
Item Price
$6.97
FREE shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software
by Editor-Susanne Graf; Editor-Laurent Mounier
- Used
- Paperback
- Condition
- Used: Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$7.14FREE shipping to USA
Show Details
Description:
Springer, 2004-04-28. Paperback. Used: Good.
Item Price
$7.14
FREE shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Graf, Susanne; Mounier, Laurent.
- Used
- near fine
- Hardcover
- Condition
- Used - Near Fine
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 1
- Seller
-
Redondo Beach, California, United States
- Item Price
-
$50.00$4.95 shipping to USA
Show Details
Description:
New York: Springer-Verlag New York Inc, 2004. Book. Near Fine. Hardcover. 8vo - over 7¾" - 9¾" tall. Hardcover 2004 library bound book. Ex-library book with one stamp and a couple of labels attached. Binding firm. Pages unmarked and clean. Covers and text in near fine condition. [307 pages].
Item Price
$50.00
$4.95
shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Susanne Graf
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 150
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$67.32$10.12 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings.
Item Price
$67.32
$10.12
shipping to USA
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
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$75.88$12.61 shipping to USA
Show Details
Description:
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).
Item Price
$75.88
$12.61
shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Graf, Susanne (Editor)/ Mounier, Laurent (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$75.89$12.67 shipping to USA
Show Details
Description:
Springer-Verlag New York Inc, 2004. Paperback. New. 1st edition. 307 pages. German language. 9.50x6.00x1.00 inches.
Item Price
$75.89
$12.67
shipping to USA
Stock Photo: Cover May Be Different
MODEL CHECKING SOFTWARE
by SUSANNE GRAF (EDITOR), LAURENT MOUNIER (EDITOR) ,
- New
- Paperback
- first
- Condition
- New
- Edition
- 1st
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
$63.00$10.00 shipping to USA
Show Details
Description:
Springer, 2004. 1st. Paperback. New/New.
Item Price
$63.00
$10.00
shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software
- Used
- Condition
- Used
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
$80.04$3.99 shipping to USA
Show Details
Description:
Springer , pp. 324 . Papeback. Used.
Item Price
$80.04
$3.99
shipping to USA
Stock Photo: Cover May Be Different
Model Checking Software
by Graf, Susanne [Editor]; Mounier, Laurent [Editor];
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540213147 / 3540213147
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$129.00$10.00 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
$129.00
$10.00
shipping to USA