Tests and Proofs

Name: Tests and Proofs
Brand: Springer Nature Switzerland AG
SKU: 9783030311568
Price: 1310 CZK
Availability: InStock

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

Autor: Dirk Beyer, Chantal Keller

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer Nature Switzerland AG

Dostupnost: Skladem u dodavatele v malém množství

Odesíláme za 11-15 dnů

1 310 Kč

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

Informace o knize

Autor

Dirk Beyer, Chantal Keller

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2019

Stránek

207

EAN

9783030311568

Enbook ID

24519984

Vydavatel

Springer Nature Switzerland AG

Hmotnost

454

Rozměry

155 x 235 x 13

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Tests and Proofs

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také