Home > Authors > Werner Damm > Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen

Buy at: Bookshop.org Amazon

Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen

Werner Damm

Recent activity

Rate this book to see your activity here.

6 Books Similar to Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen by Werner Damm

Bookscovery readers who liked Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen also like Computer Aided Verification, Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen and Formal Techniques in Real-Time and Fault-Tolerant Systems. How many of these have you read?

Computer Aided Verification by Werner Damm

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen by Werner Damm

Cover of Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Buy this book at:
Bookshop.org Amazon

Formal Techniques in Real-Time and Fault-Tolerant Systems by Werner Damm

Cover of Formal Techniques in Real-Time and Fault-Tolerant Systems
Buy this book at:
Bookshop.org Amazon

Integration of Software Specification Techniques for Applications in Engineering by Hartmut Ehrig

Cover of Integration of Software Specification Techniques for Applications in Engineering
Buy this book at:
Bookshop.org Amazon

Practical formal methods for hardware design by Carlos Delgado Kloos

Cover of Practical formal methods for hardware design
Buy this book at:
Bookshop.org Amazon

Wo aber bleibt die Seele? by Werner Damm

Cover of Wo aber bleibt die Seele?
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen

Please sign in to leave a comment