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  
Computer programming / software development  
Software Engineering

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$139.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 $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Generative and Transformational Techniques in Software Engineering III Save $48
$145.99
$194.95
Generative and Transformational Techniques in Software Engineering III
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Distributed Objects, Components, and Systems
$139.99
Formal Techniques for Distributed Objects, Components, and Systems
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
Component Deployment
$143.99
$146.95
Component Deployment
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $71
$142.99
$214.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming Save $60
$142.99
$203.95
Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Search Based Software Engineering
$139.99
Search Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $27
$139.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security
$163.99
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theories, Tools and Experiments
$138.99
Verified Software: Theories, Tools and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$178.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering
$138.99
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Intelligent Tutoring Systems
$282.99
Intelligent Tutoring Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Approaches to Software Testing Save $19
$138.99
$158.95
Formal Approaches to Software Testing
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Save $38
$141.99
$180.95
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Models for Cyber Situation Awareness
$151.99
Theory and Models for Cyber Situation Awareness
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Release date Australia
December 15th, 2017
Contributors
  • Edited by Andrei Paskevich
  • Edited by Thomas Wies
Pages
211
Edition
1st ed. 2017
Audience
  • Postgraduate, Research & Scholarly
Illustrations
69 Illustrations, black and white; XIII, 211 p. 69 illus.
ISBN-13
9783319723075
Product ID
27405311

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 >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence