5 Ebooks de Werner Damm
Werner Damm & Ernst-Rudiger Olderog: Formal Techniques in Real-Time and Fault-Tolerant Systems
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 Septe …
PDF
Inglés
DRM
€57.17
Werner Damm & Holger Hermanns: Computer Aided Verification
This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Berlin, Germany, July 3-7, 2007. CAV 2007 was the 19th in a series of conferences ded …
PDF
Inglés
DRM
€57.90
Werner Damm: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden sämtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anfo …
PDF
Alemán
DRM
€46.21
Werner Damm & Carlos Delgado Kloos: Practical Formal Methods for Hardware Design
Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research repor …
PDF
Inglés
DRM
€57.68
