Search results for ‘Daniel Jackson (Massachusetts Institute of Technology)’

Filter & Refine

      Cover image for Software Abstractions: Logic, Language, and Analysis
      Paperback
      Add to list Added to list

      Software Abstractions: Logic, Language, and Analysis

      Daniel Jackson (Massachusetts Institute of Technology)

      An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

      $120.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Portraits of Resilience
      Hardback
      Add to list Added to list

      Portraits of Resilience

      Daniel Jackson (Massachusetts Institute of Technology)

      Photographs and stories of people who have coped with and overcome depression, anxiety, trauma, and other challenges.

      $71.99

      Available to order, ships in approx 2 weeksAvailable to order