Kniha Tests and Proofs Virgile Prevosto

Tests and Proofs

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

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.00
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2023
Stránok
212
EAN
9783031388279
Enbook ID
43672513
Vydavateľ
Hmotnosť
304
Rozmery
155 x 235

Kompletný popis

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.

Mohlo by vás zaujímať

Empty Cradle

Rosie Goodwin
11.44

White Jacket

Herman Melville
18.78
7.43

Bladder Cancer

David Pulver
36.59

Engineers as Leaders

Calloway Ph.D. Jesse L Calloway Ph.D.
37.08
14.08