Verwandte Artikel zu The Foundations of Program Verification

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.