Tests and Proofs

Name: Tests and Proofs
Brand: Springer, Berlin
SKU: 9783031388279
Price: 50.0 EUR
Availability: InStock

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

Autor: Virgile Prevosto, Cristina Seceleanu

Jazyk:

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

Autor

Virgile Prevosto, Cristina Seceleanu

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2023

Stránok

212

EAN

9783031388279

Enbook ID

43672513

Vydavateľ

Springer, Berlin

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ť

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Tests and Proofs

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Empty Cradle

White Jacket

Pocket Scottish Tales

Bladder Cancer

Engineers as Leaders

Brick by Brick