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

Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

Hinta
HK$ 409,20

Tilattu etävarastosta

Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

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 Englanti  
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 )