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

Computers & Internet Books:

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

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$153.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.25 with Afterpay Learn more

6 weekly interest-free payments of $25.50 with Laybuy 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

Integrated Formal Methods
$151.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
End-User Development
$151.00
End-User Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$151.00
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Technology. ECOOP 2004 Workshop Reader
$149.00
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Paperback / softback
Available - Usually ships in 3-4 weeks
Agile Processes in Software Engineering and Extreme Programming
$150.00
Agile Processes in Software Engineering and Extreme Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$151.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$151.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$302.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$159.00
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$151.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering Approaches for Offshore and Outsourced Development
$149.00
Software Engineering Approaches for Offshore and Outsourced...
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$193.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$150.00
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$156.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Embedded Systems Design
$297.00
Embedded Systems Design
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
Release date NZ
January 23rd, 2014
Audience
  • Professional & Vocational
Contributors
  • Edited by Andrey Rybalchenko
  • Edited by Ernie Cohen
Illustrations
83 Illustrations, black and white; XVI, 345 p. 83 illus.
Pages
345
Dimensions
155x235x19
ISBN-13
9783642541070
Product ID
21958525

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