Foundations of Programme Verification (Wiley-Teubner series in computer science) - Hardcover

Loeckx, Jacques; Etc.

 
9780471903239: Foundations of Programme Verification (Wiley-Teubner series in computer science)