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

Artificial Intelligence: A Modern Approach
  • Year: 2012
  • Edition: 3rd
  • Publisher: Pearson
  • Type: Hardcover
  • ISBN13: 9780136042594
  • ISBN: 0136042597
Introduction to Programming in Java: An Interdisciplinary...
  • Year: -0001
  • Edition: 1st
  • Publisher: Pearson Addison Wesley
  • Type: Paperback
  • ISBN13: 9780321498052
  • ISBN: 0321498054
Digital Image Processing (3rd Edition)
  • Year: 2007
  • Edition: 3rd
  • Publisher: Pearson
  • Type: Hardcover
  • ISBN13: 9780131687288
  • ISBN: 013168728X