0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Computer Aided Verification (Hardcover) Loot Price: R2,192
Discovery Miles 21 920
Computer Aided Verification (Hardcover): Serdar Tasiran, Isil Dillig

Computer Aided Verification (Hardcover)

Serdar Tasiran, Isil Dillig

 (sign in to rate)
Loot Price R2,192 Discovery Miles 21 920 | Repayment Terms: R205 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 37mm (L x W x T)
Format: Hardcover - Sewn / Cloth over boards
Pages: 680
ISBN-13: 978-1-01-327117-5
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
LSN: 1-01-327117-3
Barcode: 9781013271175

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