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äftad550 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad534 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad550 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äftad550 kr
Formal Techniques in Real-Time and Fault-Tolerant SystemsWerner Damm, Ernst-Rüdiger OlderogHäftad534 kr
Practical Formal Methods for Hardware DesignC. Delgado Kloos, Carlos Delgado Kloos, Werner DammHäftad550 kr
NyhetBurgare : så gör du världens bästa burgare hemmaLinus Josephson, Toby Lee, Selin SaferInbunden279 kr
NyhetHjärnans akilleshälar : hur din hjärna lurar dig, och vad du kan göra åt detAnders HansenInbunden289 kr