4 Ebooks von Angelo Gargantini
Egon Borger & Angelo Gargantini: Abstract State Machines 2003: Advances in Theory and Practice
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented toge …
PDF
Englisch
DRM
€57.36
Gordon Fraser & Angelo Gargantini: Tests and Proofs
This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1-2 in M‘ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe f …
PDF
Englisch
DRM
€57.68
Silvia Bonfanti & Angelo Gargantini: Testing Software and Systems
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 1 …
EPUB
Englisch
DRM
€70.93
Silvia Bonfanti & Angelo Gargantini: Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024.The 29 papers included i …
EPUB
Englisch
DRM
€83.45