0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Computer Aided Verification (Hardcover) Loot Price: R2,043
Discovery Miles 20 430
Computer Aided Verification (Hardcover): Serdar Tasiran, Isil Dillig

Computer Aided Verification (Hardcover)

Serdar Tasiran, Isil Dillig

 (sign in to rate)
Loot Price R2,043 Discovery Miles 20 430 | Repayment Terms: R191 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

General

Imprint: Saint Philip Street Press
Release date: October 2020
Authors: Serdar Tasiran • Isil Dillig
Dimensions: 279 x 216 x 30mm (L x W x T)
Format: Hardcover - Sewn / Cloth over boards
Pages: 558
ISBN-13: 978-1-01-327115-1
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
LSN: 1-01-327115-7
Barcode: 9781013271151

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners