Gå direkt till innehållet
Verified Software. Theories, Tools and Experiments
Spara

Verified Software. Theories, Tools and Experiments

Undertitel
17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
ISBN
9783032273390
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
27.6.2026
Sidor
110