Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tests and Proofs

Name: Tests and Proofs
Brand: Springer
SKU: 41002264
Price: 60.38 EUR
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030311575

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Dirk Beyer

Chantal Keller

Language

English

E-book Adobe ePub DRM

Libristo code: 41002264

Publishers Springer, September 2019

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Full description

Libristo code: 41002264

146 b

60.38 €

In stock Immediate digital delivery

Customers also purchased

Junior Polski 1 - Krok Po Kroku (Polish Step by Step). Student's Workbook Stempek Iwona

Paperback

13.54 €

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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.