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

Loeckx, Jacques; Etc.

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