Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Bøger - MIT Press Ltd - 9780262528900 - 12. februar 2016
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

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

Mere med Jackson, Daniel (Massachusetts Institute of Technology)

Se alt med Jackson, Daniel (Massachusetts Institute of Technology) ( f.eks. Hardcover bog og Paperback Bog )