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