Logic of programming and calculi of discrete design /

Uloženo v:
Podrobná bibliografie
Další autoři: Broy, Manfred, 1949- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, c1987.
Edice:NATO advanced science institutes series. Computer and systems sciences ; 36
Témata:
Popis
Fyzický popis:413 s.
ISBN:3-540-18003-6
0-387-18003-6