Vincenzo Ciancia – författare
Visar alla böcker från författaren Vincenzo Ciancia. Handla med fri frakt och snabb leverans.
1 produkter
Model Checking Software
32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings
Av Vincenzo Ciancia, Arnd Hartmanns
Häftad, 2027
675 kr
Kommande
This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026.The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 …
