bib.howest.be Zoekresultaten

U zocht naar: Auteur Margaria

« Vorige | 1 - 10 van 37 | Volgende »

1. Software Business. From Physical Products to Software Services and Solutions

Auteur:: Herzwurm, Georg; Tiziana, Margaria; Tiziana, Margaria
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

2. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2016
Type:: e-book

4. Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

5. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

6. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

7. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

8. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

9. Process Design for Natural Scientists

Auteur:: Lamprecht; Margaria, Tiziana
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

10. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Legay; Margaria, Tiziana
Uitgever:: Springer Berlin Heidelberg 2017
Type:: e-book