Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools Hardcover - 2001 - 2001st Edition
by B. Berard; P. McKenzie (Translator); M. Bidoit
First line
HASH(0x110d9440)
Details
- Title Systems and Software Verification: Model-Checking Techniques and Tools
- Author B. Berard; P. McKenzie (Translator); M. Bidoit
- Binding Hardcover
- Edition number 2001st
- Edition 2001
- Pages 190
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2001-06-20
- Illustrated Yes
- ISBN 9783540415237 / 3540415238
- Weight 0.91 lbs (0.41 kg)
- Dimensions 9.44 x 6.38 x 0.62 in (23.98 x 16.21 x 1.57 cm)
- Library of Congress Catalog Number 2001032056
- Dewey Decimal Code 005.14
More Copies for Sale
Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools
by Berard, B. et al
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 1
- Seller
-
Lincoln, Lincolnshire, Aberdeen, United Kingdom
- Item Price
-
$13.04$16.15 shipping to USA
Show Details
Description:
Springer, 2001. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9783540415237
Item Price
$13.04
$16.15
shipping to USA
Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools
by M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie
- Used
- very good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$20.15$12.00 shipping to USA
Show Details
Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$20.15
$12.00
shipping to USA
Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools
by M. Bidoit, B. Berard, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie
- Used
- very good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$42.62$12.00 shipping to USA
Show Details
Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Hardcover. Very Good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$42.62
$12.00
shipping to USA
Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools
by Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$91.62$5.45 shipping to USA
Show Details
Description:
Springer, 2001-06-20. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$91.62
$5.45
shipping to USA
Stock Photo: Cover May Be Different
Systems and Software Verification : Model-Checking Techniques and Tools
by B. Berard
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 241
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$169.92$10.12 shipping to USA
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Systems and Software Verification : Model-Checking Techniques and Tools.
Item Price
$169.92
$10.12
shipping to USA
Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools
by Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$222.00$10.00 shipping to USA
Show Details
Description:
Springer. hardcover. New. 9x0x6. Brand New Book in Publishers original Sealing
Item Price
$222.00
$10.00
shipping to USA