Data & IT

Tests and Proofs

Laura Kovcs • Karl Meinke

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

127 sidor
2022

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

Författare: Laura Kovcs, Karl Meinke
Format: Pocket/Paperback
ISBN: 9783031098260
Språk: Engelska
Antal sidor: 127
Utgivningsdatum: 2022-06-22
Förlag: Springer International Publishing AG