Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson

0 ratings • 0 reviews • 0 shelved
Book cover for Software Abstractions: Logic, Language, and Analysis
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1282096443
  • ISBN13 9781282096448
  • Publish Date 1 January 2006
  • Publish Status Active
  • Out of Print 17 February 2015
  • Publish Country US
  • Publisher MIT Press Ltd
  • Imprint MIT Press
  • Format eBook
  • Pages 367
  • Language English