Bakker, Jaco de
Mathematical theory of progam correctness / Jaco de Bakker, Arie de Bruin, Jeffery Zucker
Mathematical theory of progam correctness / Jaco de Bakker, Arie de Bruin, Jeffery Zucker . - 1ª ed . - xxa London xxa-fimyyc Prentice-Hall International yyc-fim, cop. 1980 . - 16, 505, p. 24 cm . - (Series in computer science))
(Ecadernado) : 3230$
Lógica
Matemática
Informática
Linguagem
Cálculo
Mathematical theory of progam correctness / Jaco de Bakker, Arie de Bruin, Jeffery Zucker . - 1ª ed . - xxa London xxa-fimyyc Prentice-Hall International yyc-fim, cop. 1980 . - 16, 505, p. 24 cm . - (Series in computer science))
(Ecadernado) : 3230$
Lógica
Matemática
Informática
Linguagem
Cálculo
