The Foundations of Program Verification

by Jacques Loeckx and Kurt Sieber

The Foundations of Program Verification Second Edition JacquesLoeckx and Kurt Sieber Fachbereich informatik Universit't desSaariandes, Saarbr?cken, Germany In collaboration with Ryan D.Stansifer Department of Computer Science Cornell University, USAThis revised edition provides a precise mathematical background toseveral program verification techniques. It concentrates on thoseverification methods that have now become classic, such as theinductive...

• Format: Hardcover
• Language: English
• ISBN: 0471912824
• ISBN13: 9780471912828
• Release Date: March 1987
• Publisher: Wiley
• Length: 240 Pages
• Weight: 2.25 lbs.
• Dimensions: 0.8" x 6.2" x 9.3"