Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen, Fabrice Kordon, Marieke HuismanHäftad819 kr
Tools and Algorithms for the Construction and Analysis of SystemsBernhard Steffen, Fabrice Kordon, Marieke HuismanInbunden879 kr
Leveraging Applications of Formal Methods, Verification and Validation. ModelingTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification and Validation. Distributed SystemsTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial PracticeTiziana Margaria, Bernhard SteffenHäftad729 kr
Mathematical Foundations of Advanced InformaticsBernhard Steffen, Oliver Rüthing, Michael HuthHäftad479 kr
Del 11429Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification and Validation: Verification PrinciplesTiziana Margaria, Bernhard SteffenHäftad1 229 kr
Leveraging Applications of Formal Methods, Verification and Validation: ApplicationsTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification and Validation. Industrial PracticeTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification, and ValidationTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and ApplicationsTiziana Margaria, Bernhard SteffenHäftad729 kr
Leveraging Applications of Formal Methods, Verification, and ValidationReiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard SteffenHäftad919 kr