search result

Cover von Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Author: Damm, Werner Search for this author
Year: 1987
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 146
Media group: MONOGRAPHIE
Cover von Computer aided verification
19th international conferenece : Berlin, Germany, July 3 - 7, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4590
Media group: MONOGRAPHIE
Cover von Practical formal methods for hardware design
Search for this author
Year: 1997
Publisher: Berlin, Springer
Series: Research reports ESPRIT / Project 6128 / FORMAT; 1
Media group: MONOGRAPHIE
Cover von Functional languages
a compiler technology and parallelism : 23.3. - 27.3.92 (9213)
Search for this author
Year: 1992
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 36
Media group: DAGSTUHL-SEMINAR-REP
Cover von Formal techniques in real-time and fault-tolerant systems
7th international symposium, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9 - 12, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2469
Media group: MONOGRAPHIE
Cover von Engineering Safe and Trustworthy Cyber Physical Systems
Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 15471
Media group: MONOGRAPHIE
Cover von Integration of software specification techniques for applications in engineering
priority program SoftSpez of the German Research Foundation (DFG) : final report
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science : state-of-the-art survey; 3147
Media group: MONOGRAPHIE
OPEN V 11.1.0.0