Fortæl dine venner om denne vare:
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition
Jackson, Daniel (Massachusetts Institute of Technology)
Pris
DKK 384
Bestilles fra fjernlager
Forventes klar til forsendelse 13. - 19. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition
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.
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 12. februar 2016 |
| ISBN13 | 9780262528900 |
| Forlag | MIT Press Ltd |
| Antal sider | 376 |
| Mål | 231 × 154 × 23 mm · 498 g |
| Sprog | Engelsk |
Vis alle