Manfred Broy
![Manfred Broy in 2004](https://upload.wikimedia.org/wikipedia/commons/e/e3/Manfred_Broy_2004_1.jpeg)
Showing 1 - 3 results of 3 for search 'Broy, Manfred, 1949-', query time: 0.01s
Refine Results
-
1
KORSO : methods, languages and tools for the construction of correct software. Final Report /
Published 1995Other Authors: “…Broy, Manfred, 1949-…”
Call Number: Loading…
Located: Loading…Book Loading… -
2
Formal systems specification : the RPC memory specification case study /
Published 1996Other Authors: “…Broy, Manfred, 1949-…”
Call Number: Loading…
Located: Loading…Book Loading… -
3
Perspectives of system informatics /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Ingeniería de software
Logics and meanings of programs
Lógica y significado de programas
Software engineering
Algebraic manipulation
Artificial intelligence
Distributed systems
Ershov Andrei
Formal languages
Inteligencia artificial
Lenguajes de programación
Lenguajes formales
Lógica matemática
Manipulación algebraica
Mathematical logic
Program verification
Programas-Especificación
Programming languages
Programs-Specification
Sistemas distribuidos
Software-Design
Software-Diseño
Software-Requeriments and specifications
Software-Requerimientos y especificaciones
Verificación de programas