The Foundations of Program Verification

Loeckx, Jacques; Sieber, Kurt

 
9783519021018: The Foundations of Program Verification

Inhaltsangabe

and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science 1984 IX, 230 S. , 24 cm Pp. Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : 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