Cover of 'Software Abstractions' by Daniel Jackson Request exam copy

Software Abstractions

Logic, Language, and Analysis

revised edition

by Daniel Jackson

Hardcover

Out of print

Hardcover

ISBN: 9780262017152

Pub date: November 4, 2011

Publisher: The MIT Press

376 pp., 6 x 9 in, 58 b&w illus.

Paperback

$40.00

Paperback

ISBN: 9780262528900

Pub date: February 12, 2016

Publisher: The MIT Press

376 pp., 6 x 9 in, 58 b&w illus.

MIT Press BookstorePenguin Random HouseAmazonBarnes and NobleBookshop.orgIndieboundIndigo

376 pp., 6 x 9 in, 58 b&w illus.

  • Hardcover
  • 9780262017152
  • Published: November 4th, 2011
  • Publisher: The MIT Press

$47.00

  • Paperback
  • 9780262528900
  • Published: February 12th, 2016
  • Publisher: The MIT Press

$40.00

Out of print

Other Retailers:

Related Books

Cover of 'Software Design Decoded' by Marian Petre and André van der Hoek
Cover of 'Modeling and Analysis of Communicating Systems' by Jan Friso Groote and Mohammad Reza Mousavi
Cover of 'Technical Debt in Practice' by Neil Ernst, Rick Kazman and Julien Delange
Cover of 'Software Design for Flexibility' by Chris Hanson and Gerald Jay Sussman
Cover of 'Press On' by Harold Thimbleby
Cover of 'Software Abstractions' by Daniel Jackson
Cover of 'Constraint-Based Local Search' by Laurent Michel and Pascal Van Hentenryck
Cover of 'Online Stochastic Combinatorial Optimization' by Pascal Van Hentenryck and Russell Bent
Cover of 'At Your Service' by Elisabetta Di Nitto, Anne-Marie Sassen, Paolo Traverso and Arian Zwegers
Cover of 'Algorithms for Validation' by Mykel J. Kochenderfer, Sydney M. Katz, Anthony L. Corso and Robert J. Moss