Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Kirjat - MIT Press Ltd - 9780262528900 - perjantai 12. helmikuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Jackson, Daniel (Massachusetts Institute of Technology)

Hinta
€ 45,49

Tilattu etävarastosta

Arvioitu toimitus ma - ti 13. - 21. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 12. helmikuuta 2016
ISBN13 9780262528900
Tuottaja MIT Press Ltd
Sivujen määrä 376
Mitta 231 × 154 × 23 mm   ·   498 g
Kieli English  
Näytä kaikki

Lisää tuotteita Jackson, Daniel (Massachusetts Institute of Technology)

Katso kaikki joka sisältää Jackson, Daniel (Massachusetts Institute of Technology) ( Esim. Hardcover Book Ja Paperback Book )