search result

Cover von Specification and validation methods
Search for this author
Year: 1995
Publisher: Oxford, Clarendon Press
Series: International schools for computer scientists
Media group: MONOGRAPHIE
Cover von Berechenbarkeit, Komplexität und Logik
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Author: Börger, Egon Search for this author
Year: 1992
Publisher: Braunschweig, Vieweg
Media group: MONOGRAPHIE
Cover von Computability, complexity, logic
Author: Börger, Egon Search for this author
Year: 1989
Publisher: Amsterdam, North-Holland
Series: Studies in logic and the foundations of mathematics; 128
Media group: MONOGRAPHIE
Cover von Computabilità complessità logica

Computabilità complessità logica

introduzione agli algoritmi, ai linguaggi e ai calcoli con particolare riferimento alla loro complessità
Börger, Egon
1989
Torino, Bollati Boringhieri
Media group: GESAMTWERK
Volumes loading
Cover von The origins and the development of the ASM method for high level system design analysis; 1
article : S. 2-74
Search for this author
Year: 2002
Publisher: Berlin, Springer
J.UCS
Count: 1
Media group: ARTICLE
Cover von Architecture design and validation methods
Search for this author
Year: 2000
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Computation theory and logic
Search for this author
Year: 1987
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 270
Media group: MONOGRAPHIE
Cover von The light control case study

The light control case study

a synopsis : article
Year: 2000
Media group: ARTICLE
Cover von J.UCS special issue on requirements engineering

J.UCS special issue on requirements engineering

the light control case study : article
Year: 2000
Media group: ARTICLE
Cover von The light control case study; 7
special issue
Search for this author
Year: 2000
Publisher: Berlin, Springer
J.UCS
Count: 7
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0