The Foundations of Program Verification, 2nd Edition

The Foundations of Program Verification, 2nd Edition

by Jacques Loeckx
  • List Price: $144.60
  • ISBN-10: 0471912824
  • ISBN-13: 9780471912828
  • Edition: 2nd
  • Type: Hardcover
  • Publisher: Wiley

About The Book

The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken,... Read more

FINDING THE BEST PRICES

Related Books

Foodservice Organizations: A Managerial and Systems Approach
  • Year: 2007
  • Edition: 7th
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780135060551
  • ISBN: 0135060559
Controlling Foodservice Costs: Competency Guide
  • Year: 2008
  • Edition: 1st
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780135072387
  • ISBN: 0135072387
Taking Sides: Clashing Views in Food and Nutrition
  • Year: 2011
  • Edition: 2nd
  • Publisher: McGraw-Hill Education
  • Type: Paperback
  • ISBN13: 9780073514475
  • ISBN: 0073514470