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

Software Engineering: A Practitioner's Approach
  • Year: 2009
  • Edition: 7th
  • Publisher: McGraw-Hill Science/Engineering/Math
  • Type: Hardcover
  • ISBN13: 9780073375977
  • ISBN: 0073375977
Computer Architecture, Fifth Edition: A Quantitative...
  • Year: 2011
  • Edition: 5th
  • Publisher: Morgan Kaufmann
  • Type: Paperback
  • ISBN13: 9780123838728
  • ISBN: 012383872X
Introduction to Programming in Java: An Interdisciplinary...
  • Year: 2007
  • Edition: 1st
  • Publisher: Addison-Wesley
  • Type: Paperback
  • ISBN13: 9780321498052
  • ISBN: 0321498054