
Programming with Higher-Order Logic
Sammendrag
Om denne boken
- Språk:English
- ISBN:9781139506298
- Utgivelsesdato:30. mai 2013
- Forlag:Cambridge University Press
- Trykk:Cambridge University Press
- Filformat:EPUB2
- Filstørrelse:3.34 MB
- Nedlastingsalternativer:EPUB2 (Adobe DRM)