作者: Eugenio Omodeo

支持

1 电子书 Eugenio Omodeo

Domenico Cantone & Eugenio Omodeo: Set Theory for Computing
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today’s variety of systems with crisp, formal …
PDF
英语
DRM
€165.95