Nasa formal methods: 18th international symposium, nfm 2026, los angeles, ca, usa, may 5–7, 2026, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032280787
Date de publication :
12 juin 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse