
Programming with Higher-Order Logic
Streszczenie
O tej książce
- Język:English
- ISBN:9781139506298
- Data wydania:11 cze 2012
- Wydawca:Cambridge University Press
- Impressum:Cambridge University Press
- Format pliku:EPUB2
- Rozmiar pliku:3.34 MB
- Opcje pobierania:EPUB2 (Adobe DRM)