Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - Boeken - MIT Press Ltd - 9780262528900 - 12 februari 2016
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 43,49

Besteld in een afgelegen magazijn

Verwachte levering 25 dec. - 2 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 12 februari 2016
ISBN13 9780262528900
Uitgevers MIT Press Ltd
Pagina's 376
Afmetingen 231 × 154 × 23 mm   ·   498 g
Taal en grammatica Engels  

Bekijk alles van Jackson, Daniel (Massachusetts Institute of Technology) ( bijv. Hardcover Book en Paperback Book )