Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
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,486
Discovery Miles 14 860
Repayment Terms: R139 pm x 12*
Add to cart
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,486 Discovery Miles 14 860 | Repayment Terms: R139 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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
Promotions
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 Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd
Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
 R1,338 R1,245 Discovery Miles 12 450
Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley
Systems Analysis And Design
Scott Tilley Hardcover R1,356 R1,259 Discovery Miles 12 590
Oracle 12c - SQL (Paperback, 3rd Edition): Joan Casteel
Oracle 12c - SQL
Joan Casteel Paperback  (1)
 R1,376 R1,275 Discovery Miles 12 750
Foundations Of Computer Science (Paperback, 5th Edition): Behrouz Forouzan
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,247 R1,166 Discovery Miles 11 660
Discovering Computers - Digital Technology, Data, and Devices (Paperback, 17th edition): Misty Vermaat, Mark Ciampa, Steven...
Discovering Computers - Digital…
Misty Vermaat, Mark Ciampa, … Paperback R1,315 R1,222 Discovery Miles 12 220
Introduction to Computer Theory (Paperback, 2Rev ed): Daniel I. A. Cohen
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
 R6,908 Discovery Miles 69 080
Discovering Computers 2018 - Digital Technology, Data And Devices (Paperback, 16th edition): Misty Vermaat, Steven Freund,...
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,136 Discovery Miles 11 360
Dynamic Web Application Development Using PHP and MySQL (Paperback, New edition): David Parsons, Simon Stobart
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,314 R1,221 Discovery Miles 12 210
Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse
Program Construction - Calculating…
Roland Backhouse Paperback R1,460 Discovery Miles 14 600
Introduction to the Theory of Computation (Hardcover, 3rd Edition): Michael Sipser
Introduction to the Theory of…
Michael Sipser Hardcover R1,326 R1,230 Discovery Miles 12 300
Foundations Of Computer Science (Paperback, 4th Edition): Behrouz Forouzan
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,000 R599 Discovery Miles 5 990
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners