The Foundations of Program Verification, 2nd Edition
Author: Jacques Loeckx, Kurt Sieber List Price: $275.00 Our Price: Click to see the latest and low price ISBN: 0471912824 Publisher: John Wiley & Sons (11 March, 1987) Edition: Hardcover Sales Rank: 1,565,619