Languages
Clear Subject
Format
Availabity
Authors

Search result

Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Applications
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Applications English 23.11.2020 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: Engineering Principles
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles English 23.11.2020 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: Verification Principles
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles English 27.12.2020 Paperback / Softback Fr. 116.00 1-2 weeks (title will be printed to order)
Margaria, Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhar Steffen... - Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Margaria, Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhar Steffen... Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends English 27.10.2021 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
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation English 30.12.2021 Paperback / Softback Fr. 96.00 1-2 weeks (title will be printed to order)
Javie Camara, Javier Camara, STEFFEN, Steffen, Martin Steffen - Software Engineering and Formal Methods
Javie Camara, Javier Camara, STEFFEN, Steffen, Martin Steffen Software Engineering and Formal Methods English 30.11.2020 Paperback / Softback Fr. 96.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
Romes Antoni Borges, Romes Antonio Borges, Fran Sérgi Lobato, Fran Sérgio Lobato, STEFFEN, Valder Steffen... - Bio-inspired Optimization Methods
Romes Antoni Borges, Romes Antonio Borges, Fran Sérgi Lobato, Fran Sérgio Lobato, STEFFEN, Valder Steffen... Bio-inspired Optimization Methods English 01.01.2015 Paperback / Softback Fr. 32.90 2-3 weeks (title will be printed to order)
STEFFEN, Oliver Job, Carin Kelbsch, Carina Kelbsch, Heimo Steffen, Felix Tonagel... - Neuroophthalmologie
STEFFEN, Oliver Job, Carin Kelbsch, Carina Kelbsch, Heimo Steffen, Felix Tonagel... Neuroophthalmologie German 01.11.2023 Hardback Fr. 160.00 1-3 weeks (not available at short notice)
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation English 29.01.2013 Paperback / Softback Fr. 188.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. 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. 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. 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: 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. 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. 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. 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. 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. 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. 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. 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. 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. 69.00 1-2 weeks (title will be printed to order)
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems
Tizian Margaria, Tiziana Margaria, STEFFEN, Steffen, Bernhard Steffen Tools and Algorithms for the Construction and Analysis of Systems English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ernst-Rüdige Olderog, Ernst-Rüdiger Olderog, STEFFEN, Steffen, Bernhard Steffen - Correct System Design
Ernst-Rüdige Olderog, Ernst-Rüdiger Olderog, STEFFEN, Steffen, Bernhard Steffen Correct System Design English 01.01.1960 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: 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