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 programming > Programming languages

Buy Now

Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Paperback, 2014 ed.) Loot Price: R2,331
Discovery Miles 23 310
Repayment Terms: R218 pm x 12*
Add to cart
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18,...

Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Paperback, 2014 ed.)

Dimitra Giannakopoulou, Daniel Kroening

Series: Lecture Notes in Computer Science, 8471

 (sign in to rate)
Loot Price R2,331 Discovery Miles 23 310 | Repayment Terms: R218 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 8471
Release date: October 2014
First published: 2014
Editors: Dimitra Giannakopoulou • Daniel Kroening
Dimensions: 235 x 155 x 16mm (L x W x T)
Format: Paperback
Pages: 287
Edition: 2014 ed.
ISBN-13: 978-3-319-12153-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-319-12153-7
Barcode: 9783319121536

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

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,189 R1,762 Discovery Miles 17 620
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,751 R1,615 Discovery Miles 16 150
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
FORTRAN 90 for Scientists and Engineers (Paperback): Brian Hahn
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,440 Discovery Miles 14 400
Introduction to Computational Economics Using Fortran (Hardcover): Hans Fehr, Fabian Kindermann
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R4,524 Discovery Miles 45 240
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,349 Discovery Miles 13 490
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,609 Discovery Miles 26 090
A Day in Code- Python - Learn to Code in Python through an Illustrated Story (for Kids and Beginners) (Hardcover): Shari Eskenas
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R682 Discovery Miles 6 820
Get Started Programming with Python - Give Your Professional Possibilities a Boost by Learning the Python Programming Language...
Get Started Programming with Python…
Manuel Mcfeely Hardcover R821 R710 Discovery Miles 7 100
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,115 R950 Discovery Miles 9 500
Coding for Kids in Python - Python Programming Projects for Kids and Beginners to Get Started Programming Fun Games...
Coding for Kids in Python - Python…
Bob Mather Hardcover R917 Discovery Miles 9 170

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