Algorithms : The construction, proofs and analysis of programs
Berloux Pierre
Algorithms : The construction, proofs and analysis of programs - 1986 - p. cm.
48521
Textual
Computer science
D65,8(B)92, M6;2
Algorithms : The construction, proofs and analysis of programs - 1986 - p. cm.
48521
Textual
Computer science
D65,8(B)92, M6;2
