NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
Specificaties
| ISBN/EAN | 9783032280787 |
| Auteur | Jyotirmoy Deshmukh |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 568 |
| Lengte | |
| Breedte |