
Programming with Higher-Order Logic
Synopse
O knize
- Jazyk:English
- ISBN:9781139506298
- Datum vydání:30. 5. 2013
- Vydavatel:Cambridge University Press
- Tiráž:Cambridge University Press
- Formát souboru:EPUB2
- Velikost souboru:3.34 MB
- Možnosti stahování:EPUB2 (Adobe DRM)