Search

You searched for: Auteur Tiziana, Margaria Remove constraint Auteur: Tiziana, Margaria
« Previous | 1 - 10 of 25 |
Number of results to display per page

Search Results

1. Software Business. From Physical Products to Software Services and Solutions
thumbnail
Full text!
Author:
Herzwurm, Georg; Tiziana, Margaria; Tiziana, Margaria
Publisher:
Springer Berlin Heidelberg 2013
Format:
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
thumbnail
Full text!
Author:
Tiziana Margaria; Steffen, Bernhard
Publisher:
Springer Nature 2024
Format:
e-book
3. Leveraging Applications of Formal Methods, Verification and Validation
thumbnail
Full text!
Author:
Tiziana Margaria; Steffen, Bernhard
Publisher:
Springer International Publishing 2021
Format:
e-book
4. Leveraging Applications of Formal Methods, Verification and Validation
thumbnail
Full text!
Author:
Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
5. Process Design for Natural Scientists
thumbnail
Full text!
Author:
Lamprecht; Margaria, Tiziana
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
6. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Legay; Margaria, Tiziana
Publisher:
Springer Berlin Heidelberg 2017
Format:
e-book
7. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Legay; Margaria, Tiziana
Publisher:
Springer Berlin Heidelberg 2017
Format:
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
thumbnail
Full text!
Author:
Margaria, Tiziana.; Steffen, Bernhard
Publisher:
Cham Springer 2024
Format:
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
thumbnail
Full text!
Author:
Margaria, Tiziana.; Steffen, Bernhard
Publisher:
Cham Springer 2024
Format:
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
thumbnail
Full text!
Author:
Margaria, Tiziana.; Steffen, Bernhard
Publisher:
Cham Springer 2024
Format:
e-book