Tests and Proofs Image close
Tests and Proofs
Tests and Proofs
Show Hide Adult Content
Tests and Proofs close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
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 7-19 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
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
Software Architecture
$140.99
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Release date Australia
June 3rd, 2018
Contributors
  • Edited by Burkhart Wolff
  • Edited by Catherine DuBois
Pages
185
Edition
1st ed. 2018
Audience
  • Professional & Vocational
Illustrations
48 Illustrations, black and white; XIV, 185 p. 48 illus.
ISBN-13
9783319929934
Product ID
27962496

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 >
Communications & Networking >
Network security
Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer security
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation