The Foundations of Program Verification

Loeckx, Jacques; Sieber, Kurt

 
9783519021018: The Foundations of Program Verification

Inhaltsangabe

1984 ix, 230 S. Hardcover Stuttgart [Germany], B.G. Teubner; Wiley,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  047190323X ISBN 13:  9780471903239
Verlag: John Wiley & Sons Ltd, 1987
Hardcover