Hierarchical technique for mechanical theorem proving and its application to programming language design (classic reprint), a
Auteur :
Rubin, Norman
Éditeur :
Forgotten Books
ISBN :
9781333351274
Date de publication :
24 août 2016
Dimensions :
22,9 x 15,2 x 1,0 cm
Poids :
258 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA