Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson
  • List Price: $45.00
  • ISBN-10: 0262101149
  • ISBN-13: 9780262101141
  • Edition: 1st
  • Type: Hardcover
  • Publisher: The MIT Press

About The Book

In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated... Read more

FINDING THE BEST PRICES

Related Books

Fundamentals of Database Systems (6th Edition)
  • Year: 2010
  • Edition: 6th
  • Publisher: Addison-Wesley
  • Type: Hardcover
  • ISBN13: 9780136086208
  • ISBN: 0136086209
Design Patterns: Elements of Reusable Object-Oriented...
  • Year: 1994
  • Edition: 1st
  • Publisher: Addison-Wesley Professional
  • Type: Hardcover
  • ISBN13: 9780201633610
  • ISBN: 0201633612
OpenGL Programming Guide: The Official Guide to Learning...
  • Year: 2009
  • Edition: 7th
  • Publisher: Addison-Wesley Professional
  • Type: Paperback
  • ISBN13: 9780321552624
  • ISBN: 0321552628