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

Illustrated Guide to Food Preparation for Food...
  • Year: 2008
  • Edition: 10th
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780135048092
  • ISBN: 0135048095
The Color Code: A Revolutionary Eating Plan For Optimum...
  • Year: 2003
  • Edition: 6th
  • Publisher: Hyperion
  • Type: Paperback
  • ISBN13: 9780786886210
  • ISBN: 0786886218
Foodservice Organizations: A Managerial and Systems...
  • Year: 2009
  • Edition: 7th
  • Publisher: Prentice Hall
  • Type: Paperback
  • ISBN13: 9780135060551
  • ISBN: 0135060559