
Programming with Higher-Order Logic
Synopsis
Over dit boek
- Taal:English
- ISBN:9781139506298
- Lanceringsdatum:11 jun 2012
- Uitgever:Cambridge University Press
- Imprint:Cambridge University Press
- Bestandsformaat:EPUB2
- Bestandsgrootte:3.34 MB
- Downloadopties:EPUB2 (Adobe DRM)



















