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äftad554 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad538 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad554 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äftad554 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad538 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad554 kr
NyhetTsaren i egen hög person : hur Vladimir Putin lurade oss allaRoman Badanin, Michail RubinInbunden349 kr