Zoeken

U zocht naar: Auteur Margaria, Tiziana Filter Auteur: Margaria, Tiziana weghalen Taal Engels Filter Taal: Engels weghalen
« Vorige | 1 - 10 van 25 |
Aantal zoekresultaten per pagina

Zoekresultaten

1. Process Design for Natural Scientists
thumbnail
Full text!
Auteur:
Lamprecht; Margaria, Tiziana
Uitgever:
Springer Berlin Heidelberg 2014
Type:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Legay; Margaria, Tiziana
Uitgever:
Springer Berlin Heidelberg 2017
Type:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Legay; Margaria, Tiziana
Uitgever:
Springer Berlin Heidelberg 2017
Type:
e-book
4. 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
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer 2024
Type:
e-book
5. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer 2024
Type:
e-book
6. 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
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer 2024
Type:
e-book
7. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer 2024
Type:
e-book
8. Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer 2022
Type:
e-book
9. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
10. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II
thumbnail
Full text!
Auteur:
Margaria, Tiziana.; Steffen, Bernhard
Uitgever:
Cham Springer 2022
Type:
e-book