کتاب‌های Werner Damm - BookPine

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Werner Damm

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Werner Damm

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Werner Damm

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG)

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG)

Hartmut Ehrig

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ...

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ...

Werner Damm

Practical Formal Methods for Hardware Design

Practical Formal Methods for Hardware Design

C. Delgado Kloos

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte, 146)

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte, 146)

Werner Damm

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte)

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte)

Werner Damm