Häftad, Engelska, 2022
Tests and Proofs
550 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
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
- Utgivningsdatum: 2022-06-22
- Mått: 155 x 235 x 8 mm
- Vikt: 224 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 127
- Upplaga: 22001
- Förlag: Springer International Publishing AG
- ISBN: 9783031098260
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.