Verified Software. Theories, Tools and Experiments
17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
Specificaties
| ISBN/EAN | 9783032273390 |
| Auteur | Clement Pit-Claudel |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 101 |
| Lengte | |
| Breedte |