0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback, 2007 ed.) Loot Price: R1,648
Discovery Miles 16 480
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback,...

Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback, 2007 ed.)

Werner Damm, Holger Hermanns

Series: Theoretical Computer Science and General Issues, 4590

 (sign in to rate)
Loot Price R1,648 Discovery Miles 16 480 | Repayment Terms: R154 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking-from foundational and methodological issues to the evaluation of major tools and systems-are addressed.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Theoretical Computer Science and General Issues, 4590
Release date: July 2007
First published: 2007
Editors: Werner Damm • Holger Hermanns
Dimensions: 235 x 155 x 30mm (L x W x T)
Format: Paperback
Pages: 562
Edition: 2007 ed.
ISBN-13: 978-3-540-73367-6
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
LSN: 3-540-73367-1
Barcode: 9783540733676

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!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,334 R1,154 Discovery Miles 11 540
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,375 R1,184 Discovery Miles 11 840
Systems Analysis And Design
Scott Tilley Hardcover R1,354 R1,168 Discovery Miles 11 680
Discovering Computers (c)2017
Mark Frydenberg, Misty Vermaat, … Paperback  (3)
R1,395 R1,204 Discovery Miles 12 040
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,236 R1,073 Discovery Miles 10 730
Foundations Of Computer Science
Behrouz Forouzan Paperback R999 R599 Discovery Miles 5 990
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R6,898 Discovery Miles 68 980
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,543 R49 Discovery Miles 490
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,309 R1,129 Discovery Miles 11 290
Program Construction - Calculating…
Roland Backhouse Paperback R1,443 Discovery Miles 14 430
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,256 R1,082 Discovery Miles 10 820
Steve Jobs
Walter Isaacson Paperback R705 R615 Discovery Miles 6 150

See more

Partners