
Programming with Higher-Order Logic
Synopsis
Om denne bog
- Sprog:English
- ISBN:9781139506298
- Udgivelsesdato:11. jun. 2012
- Udgiver:Cambridge University Press
- Tryk:Cambridge University Press
- Filformat:EPUB2
- Filstørrelse:3.34 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)



















