Logic of software. a tasting menu of formal methods, the: essays dedicated to reiner hähnle on the occasion of his 60th birthday
Éditeur :
Springer International Publishing AG
ISBN :
9783031081651
Date de publication :
16 juin 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse