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, 2004559 kr
Integration of Software Specification Techniques for Applications in EngineeringEngelbert Westkamper, Eckehard Schnieder, Wolfgang Reif, Martin Groe-Rhode, Jorg Desel, Werner Damm, Hartmut Ehrig E-bok2011734 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad, 2002543 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsErnst-Rudiger Olderog, Werner Damm E-bok2003734 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad, 1997559 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, 2004559 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsErnst-Rudiger Olderog, Werner Damm E-bok2003734 kr
Integration of Software Specification Techniques for Applications in EngineeringEngelbert Westkamper, Eckehard Schnieder, Wolfgang Reif, Martin Groe-Rhode, Jorg Desel, Werner Damm, Hartmut Ehrig E-bok2011734 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad, 2002543 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad, 1997559 kr