Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen, Fabrice Kordon, Marieke HuismanHäftad, 2020640 kr
Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen, Fabrice Kordon, Marieke HuismanInbunden, 2020711 kr
Leveraging Applications of Formal Methods, Verification and Validation. ModelingTiziana Margaria, Bernhard SteffenHäftad, 2018567 kr
Leveraging Applications of Formal Methods, Verification and Validation. ModelingBernhard Steffen, Tiziana Margaria E-bok2018732 kr
Leveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria, Bernhard SteffenHäftad, 2018567 kr
Leveraging Applications of Formal Methods, Verification and Validation. VerificationBernhard Steffen, Tiziana Margaria E-bok2018732 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed SystemsTiziana Margaria, Bernhard SteffenHäftad, 2018567 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed SystemsBernhard Steffen, Tiziana Margaria E-bok2018732 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial PracticeTiziana Margaria, Bernhard SteffenHäftad, 2018567 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial PracticeBernhard Steffen, Tiziana Margaria E-bok2018732 kr