Boyer, Robert S.
The correctness problem in computer science / Robert S. Boyer, J. Strother Moore. - Londres : Academic Press , 1981 . - XIII, 279 p. : il: ; 24 cm. - (International lecture series in computer science)
ISBN 0-12-122920-3
Programação
LCC QA76
The correctness problem in computer science / Robert S. Boyer, J. Strother Moore. - Londres : Academic Press , 1981 . - XIII, 279 p. : il: ; 24 cm. - (International lecture series in computer science)
ISBN 0-12-122920-3
Programação
LCC QA76
