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

Flora Wiström - Stortaxi, Inbunden
  • -19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr

Madame Nielsen - Lamento, Inbunden

Lamento

Madame Nielsen

Inbunden, 2026

222 kr

Liane Moriarty - Ena stunden här, Pocket
  • -30%

Ena stunden här

Liane Moriarty

Pocket, 2026

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

69 kr99 kr

Alison Espach - Bröllopsgästerna, Pocket

Bröllopsgästerna

Alison Espach

Pocket, 2026

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

99 kr