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.
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];
by Ball, Thomas [Editor]; Jones, Robert B. [Editor];
Similar copies are shown below.
Similar copies are shown to the right.
![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];](https://d3525k1ryd2155.cloudfront.net/f/060/374/9783540374060.OL.0.m.jpg)
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
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
-
Bookseller
Independent bookstores
(US)
- Format/Binding Paperback
- Book Condition New New
- Quantity Available 5
- Binding Paperback
- ISBN 10 354037406X
- ISBN 13 9783540374060
- Publisher Springer
- Size 6x1x9
- X weight 29 oz
- Size 6x1x9
We have 3 copies available starting at A$128.91.
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
-
A$128.91A$5.99 shipping to
Show Details
Item Price
A$128.91
A$5.99
shipping to
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
-
A$197.54A$7.99 shipping to
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
A$197.54
A$7.99
shipping to
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
-
A$221.93A$12.65 shipping to
Show Details
Description:
Very Good.
Item Price
A$221.93
A$12.65
shipping to