Showing 1 - 1 results of 1 for search 'Möller, Bernhard, 1953-', query time: 0.01s
Refine Results
-
1
Mathematics of program construction : third international conference, MPC ’95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings /
Published 1995Other Authors: “…Möller, Bernhard, 1953-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas de complejidad
Formal languages
Ingeniería de software
Lenguajes formales
Logics and meanings of programs
Lógica matemática
Lógica y significado de programas
Mathematical logic
Programación-Técnicas
Programming techniques
Software engineering