Showing 1 - 1 results of 1 for search 'International Conference on Algebraic Methodology and Software Technology Munich, Germany', query time: 0.01s
Refine Results
-
1
Algebraic methodology and software technology /
Published 1996“…International Conference on Algebraic Methodology and Software Technology Munich, Germany…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Deducción y prueba de teoremas
Deduction and theorem proving
Diseño físico
Diseño lógico
Formal languages
Ingenieria de software
Languages
Lenguajes
Lenguajes formales
Logic design
Logic programming
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Mathematical logic
Physical design
Programación en lógica
Sistemas con proposito y aplicación especial
Software engineering
Special-purpose and application-based systems