Workshop on logics of programs/lecture notes in computer science (131)
Kozen Derter Ed.
Workshop on logics of programs/lecture notes in computer science (131) - 1982 - p. cm.
44548
Textual
Computer program language
Computer science
D65,8(B)92
Workshop on logics of programs/lecture notes in computer science (131) - 1982 - p. cm.
44548
Textual
Computer program language
Computer science
D65,8(B)92
