buono

Books by Tiziana Margaria; Bernhard Steffen

19 books by Tiziana Margaria; Bernhard Steffen with new and used prices compared across European bookshops.

Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation Tiziana Margaria; Bernhard Steffen new from €149.99 Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation. Modeling Leveraging Applications of Formal Methods, Verification and Validation. Modeling Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Tiziana Margaria; Bernhard Steffen new from €49.99 Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Tiziana Margaria; Bernhard Steffen new from €58.84 Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles Tiziana Margaria; Bernhard Steffen new from €71.68 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola Tiziana Margaria; Bernhard Steffen new from €67.40 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems Tiziana Margaria; Bernhard Steffen new from €74.99 Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice Tiziana Margaria; Bernhard Steffen new from €53.49 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Tiziana Margaria; Bernhard Steffen new from €53.49 Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Tiziana Margaria; Bernhard Steffen new from €58.84 Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification Tiziana Margaria; Bernhard Steffen new from €79.99 Services and Visualization: Towards User-Friendly Design Services and Visualization: Towards User-Friendly Design Tiziana Margaria; Bernhard Steffen; Roland Rückert; Joachim Posegga new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends Tiziana Margaria; Bernhard Steffen new from €42.79 Leveraging Applications of Formal Methods, Verification and Validation: Applications Leveraging Applications of Formal Methods, Verification and Validation: Applications Tiziana Margaria; Bernhard Steffen new from €42.79

buono · Browse the lists