Little prover, the
Auteur :
Friedman, Daniel P. / Eastlund, Carl
Éditeur :
MIT Press Ltd
ISBN :
9780262527958
Date de publication :
10 juil. 2015
Dimensions :
22,9 x 17,8 x 1,4 cm
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA