Mathematical theory of progam correctness / Jaco de Bakker, Arie de Bruin, Jeffery Zucker
Main Author Bakker, Jaco de Coauthor Bruin, Arie de Zucker, Jeffery Ian, 1942- Language Inglês. Edition 1ª ed Publication London : Prentice-Hall International, cop. 1980Description 16, 505, p. ; 24 cm Series Series in computer science) Subjects Lógica
Matemática
Informática
Linguagem
Cálculo
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Mário Sottomayor Cardia | Depósitos | Depo Requests | CP 355 | Available | Fundo Geral | 14157 |
There are no comments for this item.