5 Електронні книги від Werner Damm
Werner Damm & Jorg Desel: Integration of Software Specification Techniques for Applications in Engineering
…
PDF
Англійська
DRM
€57.59
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
Англійська
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
Англійська
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
Німецька
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
Англійська
DRM
€57.82
