Integration of Software Specification Techniques for Applications in EngineeringHartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert WestkämperHäftad, 2004556 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad, 2002540 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad, 1997556 kr
Integration of Software Specification Techniques for Applications in EngineeringHartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert WestkämperHäftad, 2004556 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad, 2002540 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad, 1997556 kr