Verified Software: Theories, Tools and Experiments Image close
Verified Software: Theories, Tools and Experiments
Verified Software: Theories, Tools and Experiments
Show Hide Adult Content
Verified Software: Theories, Tools and Experiments close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Intelligent Tutoring Systems Save $66
$148.99
$215.95
Intelligent Tutoring Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$173.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering and Formal Methods Save $14
$138.99
$153.95
Software Engineering and Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $62
$140.99
$203.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $35
$141.99
$177.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing - ICSOC 2007
$275.99
Service-Oriented Computing - ICSOC 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $12
$138.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Generative and Transformational Techniques in Software Engineering IV
$140.99
Generative and Transformational Techniques in Software Engineering IV
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Industrial Critical Systems Save $16
$135.99
$152.95
Formal Methods for Industrial Critical Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Composition
$135.99
Software Composition
Paperback / softback
Available - Usually ships in 3-4 weeks
Human Factors in Computing and Informatics Save $60
$153.99
$214.95
Human Factors in Computing and Informatics
Paperback / softback
Available - Usually ships in 3-4 weeks
Rule-Based Reasoning, Programming, and Applications
$138.99
Rule-Based Reasoning, Programming, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$124.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Coordination Models and Languages
$135.99
Coordination Models and Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $47
$148.99
$196.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$139.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 28th, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Daniel Kroening
  • Edited by Dimitra Giannakopoulou
Illustrations
107 Illustrations, black and white; X, 287 p. 107 illus.
Pages
287
Dimensions
155x235x16
ISBN-13
9783319121536
Product ID
22805247

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence