Program construction and verification /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Backhouse, Roland C., 1948-
Médium: Kniha
Jazyk:English
Vydáno: Englewood Cliffs, N.J. : Prentice-Hall International, c1986.
Edice:Prentice-Hall International series in computer science
Témata:

CARM 1 Store

Informace o exemplářích z: CARM 1 Store
Signatura: A2:AH16A0 B03940
Jednotka 1 Dostupné  Požadavek