Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Grāmatas - MIT Press Ltd - 9780262528900 - 2016. gada 12. februāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 47,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 20. - 30. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Jackson, Daniel (Massachusetts Institute of Technology) izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2016. gada 12. februāris
ISBN13 9780262528900
Izdevēji MIT Press Ltd
Lapas 376
Izmēri 231 × 154 × 23 mm   ·   498 g
Valoda Angļu  

Vairāk no tā paša izdevēja