Program proofs
Auteur :
Leino, K. Rustan M. / Leino, Kaleb
Éditeur :
MIT Press Ltd
ISBN :
9780262546232
Date de publication :
7 mars 2023
Dimensions :
22,9 x 17,8 cm
Langue :
Anglais
Pays d'origine :
USA