Werezi Books
Cart 0
Tests and Proofs
Click to zoom

Share this book

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

2020 ed.

Book Details

Format Paperback / Softback
ISBN-10 303050994X
ISBN-13 9783030509941
Edition 2020 ed.
Publisher Springer Nature Switzerland AG
Imprint Springer Nature Switzerland AG
Country of Manufacture GB
Country of Publication GB
Publication Date Jun 20th, 2020
Print length 181 Pages
Product Classification: Compilers Software Engineering Systems analysis & design Artificial intelligence Expert systems / knowledge-based systems
Ksh 8,100.00 Werezi Extended Catalogue

Delivery Location

Delivery fee: Select location

Delivery in 28 days

Secure
Quality
Fast
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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.

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.

The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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.

Get Tests and Proofs by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.

Mind, Body, & Spirit

The Mamba Mentality

The Mamba Mentality

Price

Ksh 8,100.00

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.