|
|
by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013
“...This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software...”Published 2013
Cambridge University Press