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, 2004562 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-bok2011708 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad, 2002546 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, 1997562 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, 2004562 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-bok2011708 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad, 2002546 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad, 1997562 kr