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

Computers & Internet Books:

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

Verified Software: Theories, Tools, Experiments

Sorry, this product is not currently available to order

Here are some other products you might consider...

Explore more Programming and Software Engineering

See all products in this series

Automated Technology for Verification and Analysis
$153.00
Automated Technology for Verification and Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Testing Software and Systems
$150.00
Testing Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$299.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Ada 2012 Reference Manual. Language and Standard Libraries
$437.00
Ada 2012 Reference Manual. Language and Standard Libraries
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$303.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$150.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$150.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Driven Engineering Languages and Systems
$302.00
Model Driven Engineering Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Autonomic and Trusted Computing
$297.00
Autonomic and Trusted Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Product-Focused Software Process Improvement
$150.00
Product-Focused Software Process Improvement
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$150.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Component-Based Software Engineering
$151.00
Component-Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Rules on the Web: Research and Applications
$149.00
Rules on the Web: Research and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$191.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Computation and Rigorous Methods
$150.00
Logic, Computation and Rigorous Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$188.00
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
Unavailable
Sorry, this product is not currently available to order

Description

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.
Release date NZ
January 10th, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Andreas Podelski
  • Edited by Peter Muller
  • Edited by Rajeev Joshi
Illustrations
41 Illustrations, black and white; XI, 326 p. 41 illus.
Pages
326
Dimensions
155x235x20
ISBN-13
9783642277047
Product ID
19589171

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

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 >
Programming & scripting languages: general
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