Tiziana Margaria

Author detail

21 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL3381707A

Overview

Catalog identity and bibliographic footprint for this author.

21 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

Display name
Tiziana Margaria
Source identifier
OL3381707A

Featured books

Representative editions for works actually authored by this person.

MM
Image source: Open Library
Models, Mindsets, Meta : The What, the How, and the Why Not?
Models, Mindsets, Meta : The What, the How, and the Why Not? | 2019
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Leveraging Applications of Formal Methods, Verification and Validation. Modeling | 2018
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | 2018
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice | 2018
Representative edition for this work grouping in the active catalog.
cover
TA
Image source: Open Library
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2017
Representative edition for this work grouping in the active catalog.
cover
S2
Image source: Open Library
SOFSEM 2017 : Theory and Practice of Computer Science
SOFSEM 2017 : Theory and Practice of Computer Science | 2017
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications | 2016
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques | 2016
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation | 2012
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation | 2012
Representative edition for this work grouping in the active catalog.
cover
LA
Image source: Open Library
Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings
Leveraging Applications Of Formal Methods Verification And Validation Third International Symposium Proceedings | 2008
Representative edition for this work grouping in the active catalog.
cover
SW
Image source: Open Library
Semantic Web Services Challenge
Semantic Web Services Challenge | 2008
Representative edition for this work grouping in the active catalog.
cover
SP
Image source: Open Library
Software Process Improvement
Software Process Improvement | 2005
Representative edition for this work grouping in the active catalog.
cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles | 2022
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends
Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends | 2021
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles | 2020
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation : Applications
Leveraging Applications of Formal Methods, Verification and Validation : Applications | 2020
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification | 2018
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change | 2014
Representative edition for this work grouping in the active catalog.
no cover
Leveraging Applications of Form...Tiziana Margaria
LA
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications | 2014
Representative edition for this work grouping in the active catalog.
no cover
Formal Methods for Industrial C...Tiziana Margaria
FM
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems | 2012
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.