The foundations of program verification (Wiley-Teubner series in computer science)

 
9783519021018: The foundations of program verification (Wiley-Teubner series in computer science)

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  047190323X ISBN 13:  9780471903239
Editorial: John Wiley & Sons Ltd, 1987
Tapa dura