Tests and Proofs

Name: Tests and Proofs
Brand: Springer, Berlin
SKU: 9783031388279
Price: 1147 CZK
Availability: InStock

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

Autor: Virgile Prevosto, Cristina Seceleanu

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA...

Informace o knize

Autor

Virgile Prevosto, Cristina Seceleanu

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2023

Stránek

212

EAN

9783031388279

Enbook ID

43672513

Vydavatel

Springer, Berlin

Hmotnost

304

Rozměry

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 zajímat

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Tests and Proofs

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Empty Cradle

White Jacket

Pocket Scottish Tales

Bladder Cancer

Engineers as Leaders

Brick by Brick