Deductive derivation of parallel programs

Verfasser / Beitragende:
Peter Pepper
Ort, Verlag, Jahr:
Berlin : TU, 1992
Beschreibung:
48 Blatt
Format:
Buch
ID: 549174230