Showing 1 - 1 results of 1 for search 'Alagar, Vangalur S., 1940-', query time: 0.01s
Refine Results
-
1
Algebraic methodology and software technology /
Published 1995Other Authors: “…Alagar, Vangalur S., 1940-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Administración de bases de datos
Database management
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Ingenieria de software
Lenguajes formales
Logic programming
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Mathematical logic
Programación en lógica
Sistemas con propósito y aplicación especial
Software engineering
Special-purpose and application-based systems