The Foundations of Program Verification

The Foundations of Program Verification
von Loeckx, Jacques and Kurt Sieber
Vieweg & Teubner
9783519021018
Jahr: 1984
230 Seiten
gebundene Ausgabe
Bestellnummer: 1720583

Beschreibung
Schnitt und Einband sind leicht staubschmutzig - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. ENGLISCH.