bib.howest.be Zoekresultaten

U zocht naar: Auteur Tiziana Margaria Fulltext online

« Vorige | 1 - 10 van 25 | 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. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

Auteur:: Tiziana Margaria; Steffen, Bernhard
Uitgever:: Springer Nature 2024
Type:: e-book

3. Leveraging Applications of Formal Methods, Verification and Validation

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

4. Leveraging Applications of Formal Methods, Verification and Validation

Auteur:: Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

5. Process Design for Natural Scientists

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

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

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

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

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

8. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

9. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

10. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book