Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Książki - MIT Press Ltd - 9780262528900 - 12 lutego 2016
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 182,90

Zamówione z odległego magazynu

Przewidywana dostawa 25 gru - 2 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 12 lutego 2016
ISBN13 9780262528900
Wydawcy MIT Press Ltd
Strony 376
Wymiary 231 × 154 × 23 mm   ·   498 g
Język Angielski  

Zobacz wszystko od Jackson, Daniel (Massachusetts Institute of Technology) ( np. Hardcover Book i Paperback Book )