Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Bøker - MIT Press Ltd - 9780262528900 - 12. februar 2016
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Jackson, Daniel (Massachusetts Institute of Technology)

Pris
₺ 2.008

Bestillingsvarer

Forventes levert 27. nov - 5. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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.

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 12. februar 2016
ISBN13 9780262528900
Utgivere MIT Press Ltd
Antall sider 376
Mål 231 × 154 × 23 mm   ·   498 g
Språk Engelsk  
Vis alle

Mer med Jackson, Daniel (Massachusetts Institute of Technology)

Se alt med Jackson, Daniel (Massachusetts Institute of Technology) ( f.eks. Innbunden bok og Pocketbok )