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

Introduction to Parallel Computing (2nd Edition)
  • Year: 2003
  • Edition: 2nd
  • Publisher: Addison-Wesley
  • Type: Hardcover
  • ISBN13: 9780201648652
  • ISBN: 0201648652
Operating Systems: Internals and Design Principles (7th...
  • Year: 2011
  • Edition: 7th
  • Publisher: Prentice Hall
  • Type: Hardcover
  • ISBN13: 9780132309981
  • ISBN: 013230998X
Concepts of Programming Languages (9th Edition)
  • Year: 2009
  • Edition: 9th
  • Publisher: Addison-Wesley
  • Type: Hardcover
  • ISBN13: 9780136073475
  • ISBN: 0136073476