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