Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Name: Tests and Proofs
Brand: Springer International Publishing AG
SKU: 9783319929934
Price: 8100 KES
Availability: OutOfStock
ISBN: 9783319929934

2018 ed.

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319929933

ISBN-13 9783319929934

Edition 2018 ed.

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Jun 3rd, 2018

Print length 185 Pages

Product Classification: Digital and Information technology: general topics Information technology: general issues Compilers Compilers and interpreters Software Engineering Computer security Network security Mathematical theory of computation

KSh 8,100.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

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