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
-
SGD 17.69SGD 21.92 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
SGD 17.69
SGD 21.92
shipping to USA
Stock Photo: Cover May Be Different
Systems and Software Verification: Model-Checking Techniques and Tools
by B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen; Translator-P. McKenzie
- Used
- Hardcover
- Condition
- Used: Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9783540415237 / 3540415238
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
SGD 18.79FREE shipping to USA
Show Details
Description:
Springer, 2001-08-09. Hardcover. Used: Good.
Item Price
SGD 18.79
FREE 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
-
SGD 27.62SGD 16.45 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
SGD 27.62
SGD 16.45
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
-
SGD 58.41SGD 16.45 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
SGD 58.41
SGD 16.45
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
-
SGD 125.57SGD 7.47 shipping to USA
Show Details
Description:
Springer, 2001-06-20. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
SGD 125.57
SGD 7.47
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
-
SGD 230.65SGD 13.74 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
SGD 230.65
SGD 13.74
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
-
SGD 304.25SGD 20.56 shipping to USA
Show Details
Description:
Springer. hardcover. New. 9x0x6. Brand New Book in Publishers original Sealing
Item Price
SGD 304.25
SGD 20.56
shipping to USA