Pastāsti draugiem par šo preci:
Software Abstractions: Logic, Language, and Analysis - The MIT Press Jackson, Daniel (Massachusetts Institute of Technology) Revised edition
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Jackson, Daniel (Massachusetts Institute of Technology) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Software Abstractions: Logic, Language, and Analysis - The MIT Press
Jackson, Daniel (Massachusetts Institute of Technology)
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
376 pages, 58 b&w illus.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2011. gada 4. novembris |
| ISBN13 | 9780262017152 |
| Izdevēji | MIT Press Ltd |
| Lapas | 376 |
| Izmēri | 234 × 161 × 24 mm · 630 g |
