Name: The foundations of program verification (Wiley-Teubner series in computer science)
Brand: New York, NY, U.S.A.: John Wiley & Sons, Incorporated, 1985
Availability: InStock

The foundations of program verification (Wiley-Teubner series in computer science) - New York, NY, U.S.A.: John Wiley & Sons, Incorporated, 1985 | SuperScan