Biblioteca da Universidade do Minho

Your cart is empty.
Bakker,, Jacobus Willem de,, 1939- Mathematical theory of program correctness / Jaco de Bakker ; colab. Arie de Bruin, Jeffery Zucker

Mathematical theory of program correctness / Jaco de Bakker ; colab. Arie de Bruin, Jeffery Zucker . - Englewood Cliffs, N.J. : Prentice Hall, cop. 1980 . - XVI, 505 p. 24 cm . - (Prentice-Hall international series in computer science)
0-13-562132-1 (Encadernado)

519.68