Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Tests and Proofs

- 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Engelsk Paperback

Tests and Proofs

- 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Engelsk Paperback
Tjek vores konkurrenters priser
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Tjek vores konkurrenters priser
Normalpris
kr 478
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Produktdetaljer
Sprog: Engelsk
Sider: 187
ISBN-13: 9783031388279
Indbinding: Paperback
Udgave:
ISBN-10: 3031388275
Kategori: Softwaretestning
Udg. Dato: 20 jul 2023
Længde: 0mm
Bredde: 155mm
Højde: 235mm
Forlag: Springer International Publishing AG
Oplagsdato: 20 jul 2023
Forfatter(e):
Forfatter(e)


Kategori Softwaretestning


ISBN-13 9783031388279


Sprog Engelsk


Indbinding Paperback


Sider 187


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 20 jul 2023


Oplagsdato 20 jul 2023


Forlag Springer International Publishing AG