Languages
Subject
Format
Availabity
Clear Authors

Search result

Tiziana Maragria, Bernhard Steffen - Leveraging Applications of Formal Methods
Tiziana Maragria, Bernhard Steffen Leveraging Applications of Formal Methods English 03.11.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation English 11.09.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques English 01.01.2016 Paperback / Softback Fr. 135.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger - Computing and Software Science
Bernhar Steffen, Bernhard Steffen, Woeginger, Woeginger, Gerhard Woeginger Computing and Software Science English 01.01.2019 Paperback / Softback Fr. 44.50 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling English 31.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification English 31.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice English 31.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Tizian Margaria, Tiziana Margaria, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems English 31.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen - Verification, Model Checking, and Abstract Interpretation
Levi, Levi, Giorgio Levi, Bernhar Steffen, Bernhard Steffen Verification, Model Checking, and Abstract Interpretation English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Tizian Margaria, Tiziana Margaria, Maik Merten, Steffen, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tizian Margaria, Tiziana Margaria, Maik Merten, Steffen, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation English 13.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhar Steffen, Bernhard Steffen - Transactions on Foundations for Mastering Change I
Bernhar Steffen, Bernhard Steffen Transactions on Foundations for Mastering Change I English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks