Description:
Springer, 2006-08-08. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.
Stock Photo: Cover May Be Different
Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings Paperback - 2006
by Thomas Ball (Editor); Robert B. Jones (Editor)
Details
- Title Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings
- Author Thomas Ball (Editor); Robert B. Jones (Editor)
- Binding Paperback
- Edition U. S. EDITION
- Pages 564
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2006-08-08
- Illustrated Yes
- Features Illustrated, Index, Table of Contents
- ISBN 9783540374060 / 354037406X
- Weight 1.89 lbs (0.86 kg)
- Dimensions 8.75 x 5.89 x 1.33 in (22.23 x 14.96 x 3.38 cm)
- Dewey Decimal Code 004.24
More Copies for Sale
Stock Photo: Cover May Be Different
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
by Ball, Thomas [Editor]; Jones, Robert B. [Editor];
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540374060 / 354037406X
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
SGD 116.35SGD 8.21 shipping to USA
Show Details
Item Price
SGD 116.35
SGD 8.21
shipping to USA
Stock Photo: Cover May Be Different
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by Thomas Ball
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540374060 / 354037406x
- Quantity Available
- 64
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 175.04SGD 13.75 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings.
Item Price
SGD 175.04
SGD 13.75
shipping to USA
Stock Photo: Cover May Be Different
Computer Aided Verification (Pb 2006)
by Ball T.
- Used
- very good
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9783540374060 / 354037406x
- Quantity Available
- 1
- Seller
-
Indianapolis, Indiana, United States
- Item Price
-
SGD 200.31SGD 17.33 shipping to USA
Show Details
Description:
Very Good.
Item Price
SGD 200.31
SGD 17.33
shipping to USA
Stock Photo: Cover May Be Different
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Theoretical Computer Science and General Issues, 4144)
by Ball, Thomas [Editor]; Jones, Robert B. [Editor];
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540374060 / 354037406X
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
SGD 265.84SGD 20.55 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
SGD 265.84
SGD 20.55
shipping to USA