Egon Börger
Egon Börger (born 13 May 1946) is a German-born computer scientist based in Italy. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Börger, Egon, 1946-', query time: 0.01s
Refine Results
-
1
Computability, complexity, logic / by Börger, Egon, 1946-
Published 1989Call Number: Loading…
Located: Loading…Book Loading… -
2
Computation theory and logic /
Published 1987Other Authors: “…Börger, Egon, 1946-…”
Call Number: Loading…
Located: Loading…Book Loading… -
3
Computer science logic /
Published 1994Other Authors: “…Börger, Egon, 1946-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
4
Formal methods for industrial applications : specifying and programming the steam boiler control /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Book Loading…
Search Tools:
Related Subjects
Administración de sistemas de computación y de información
Computación mediante dispositivos abstractos
Computadoras y educación
Computers and education
Deducción y prueba de teoremas
Discrete mathematics
Distributed systems
Ingeniería de software
Lenguajes de programación-Definiciones formales y teoría
Lenguajes formales
Lógica matemática
Lógica matemática-Computación
Lógica y significado de programas
Management of computing and information systems
Matemática discreta
Mathematical logic-Computation
Programación-Técnicas
Programas-Especificación
Programas-Verificación
Programming languages-Formal definitions and theory
Programming techniques
Programs-Specification
Programs-Verification
Representación del conocimiento, métodos, formas y scripts
Sistemas distribuidos
Software engineering
Teoría de la computación
Theory of computation