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

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

Altre edizioni note dello stesso titolo

9780471903239: Foundations of Programme Verification

Edizione in evidenza

ISBN 10:  047190323X ISBN 13:  9780471903239
Casa editrice: John Wiley & Sons Ltd, 1987
Rilegato