Journal: | Comunicaciones técnicas. Serie azul, monografías - Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas. UNAM |
Database: | PERIÓDICA |
System number: | 000012206 |
Authors: | Benveniste, M1 |
Institutions: | 1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México |
Year: | 1986 |
Number: | 96 |
Pages: | 1-19 |
Country: | México |
Language: | Español |
Document type: | Monografía |
Approach: | Analítico, descriptivo |
Disciplines: | Ciencias de la computación, Matemáticas |
Keyword: | Programación, Matemáticas aplicadas, Hoare, Demostración, Sistemas axiomáticos |
Keyword: | Computer science, Mathematics, Programming, Applied mathematics, Hoare, Demonstration, Axiomatic systems |
Document request | |