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

Computer Networks, Fifth Edition: A Systems Approach (The...
  • Year: 2011
  • Edition: 5th
  • Publisher: Morgan Kaufmann
  • Type: Hardcover
  • ISBN13: 9780123850591
  • ISBN: 0123850592
The C Programming Language, 2nd Edition
  • Year: 1988
  • Edition: 2nd
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780131103627
  • ISBN: 0131103628
An Introduction to Bioinformatics Algorithms...
  • Year: 2004
  • Edition: 1st
  • Publisher: The MIT Press
  • Type: Hardcover
  • ISBN13: 9780262101066
  • ISBN: 0262101068