Tests and Proofs / Lecture Notes in Computer Science Bd.13361 (PDF)
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
(Sprache: Englisch)
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...
The 6...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Tests and Proofs / Lecture Notes in Computer Science Bd.13361 (PDF)“
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.
Bibliographische Angaben
- 2022, 1st ed. 2022, 127 Seiten, Englisch
- Herausgegeben: Laura Kovács, Karl Meinke
- Verlag: Springer International Publishing
- ISBN-10: 3031098277
- ISBN-13: 9783031098277
- Erscheinungsdatum: 21.06.2022
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.24 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Tests and Proofs / Lecture Notes in Computer Science Bd.13361"
0 Gebrauchte Artikel zu „Tests and Proofs / Lecture Notes in Computer Science Bd.13361“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Tests and Proofs / Lecture Notes in Computer Science Bd.13361".
Kommentar verfassen