Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems

Buy Now

Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Paperback, 2012 ed.) Loot Price: R1,543
Discovery Miles 15 430
Repayment Terms: R145 pm x 12*
Add to cart
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings...

Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Paperback, 2012 ed.)

Madhusudan Parthasarathy, Sanjit A. Seshia

Series: Lecture Notes in Computer Science, 7358

 (sign in to rate)
Loot Price R1,543 Discovery Miles 15 430 | Repayment Terms: R145 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 7358
Release date: June 2012
First published: 2012
Editors: Madhusudan Parthasarathy • Sanjit A. Seshia
Dimensions: 235 x 155 x 40mm (L x W x T)
Format: Paperback
Pages: 789
Edition: 2012 ed.
ISBN-13: 978-3-642-31423-0
Categories: Books > Computing & IT > Computer hardware & operating systems > General
Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-642-31423-6
Barcode: 9783642314230

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..

Managing Business Projects - The Essentials (Paperback, 3rd Edition): Frank Einhorn
Managing Business Projects - The…
Frank Einhorn Paperback R1,370 R1,283 Discovery Miles 12 830
Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
Practical TCP/IP and Ethernet Networking for Industry (Paperback): Deon Reynders, Edwin Wright
Practical TCP/IP and Ethernet Networking…
Deon Reynders, Edwin Wright Paperback R1,491 Discovery Miles 14 910
The System Designer's Guide to VHDL-AMS, Volume TBD - Analog, Mixed-Signal, and Mixed-Technology Modeling (Paperback):...
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,281 Discovery Miles 22 810
PC Interfacing (Paperback, 3rd ed.): Pei An
PC Interfacing
Pei An Paperback R1,213 Discovery Miles 12 130
Media Ownership and Concentration in America (Hardcover, New): Eli M. Noam
Media Ownership and Concentration in…
Eli M. Noam Hardcover R3,786 Discovery Miles 37 860
Microsoft Windows 10 Tips & Tricks (Fold-out book or chart): Joan Lambert
Microsoft Windows 10 Tips & Tricks
Joan Lambert Fold-out book or chart R229 Discovery Miles 2 290
Clean Architecture - A Craftsman's Guide to Software Structure and Design (Paperback): Robert Martin
Clean Architecture - A Craftsman's Guide…
Robert Martin Paperback  (1)
 R860 R741 Discovery Miles 7 410
TI-83 Plus Calculator (Fold-out book or chart): BarCharts Inc
TI-83 Plus Calculator
BarCharts Inc Fold-out book or chart R229 Discovery Miles 2 290
BTEC Nationals Information Technology Student Book + Activebook - For the 2016 specifications (Paperback): Jenny Phillips, Alan...
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,018 Discovery Miles 10 180
A Hobbyist's Guide to THEA500 Mini (Hardcover, Full Colour Hardback ed.): Holger Wessling
A Hobbyist's Guide to THEA500 Mini
Holger Wessling Hardcover R929 Discovery Miles 9 290
Essential Windows 10: 1st Anniversary Edition (Paperback, 1st Anniversary edition): Kevin Wilson
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R431 R271 Discovery Miles 2 710

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