Tests and Proofs

16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

AvKarl Meinke,Laura Kovacs

E-bok
Engelska, 2022

712 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,1 utav 5 stjärnor. Totalt antal röster:(29)

209 kr259 kr

Anders de la Motte, Anette de la Motte - Intrig i Amalfi, Pocket
  • -30%
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket, 2026

4,3 utav 5 stjärnor. Totalt antal röster:(55)

69 kr99 kr