Gå direkte til innholdet
Verified Software. Theories, Tools and Experiments
Spar

Verified Software. Theories, Tools and Experiments

Undertittel
17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
ISBN
9783032273390
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
27.6.2026
Antall sider
110