Tiziana Margaria

Semantic Web Services Challenge

Results from the First Year

AvCharles J. Petrie,Tiziana Margaria m. fl.

Inbunden, Engelska, 2008

2 029 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Critical Systems

A Survey of Applications

AvStefania Gnesi,Tiziana Margaria

Häftad, Engelska, 2013

1 349 kr

Skickas inom 7-10 vardagar

Semantic Web Services Challenge

Results from the First Year

AvCharles J. Petrie,Tiziana Margaria m. fl.

Häftad, Engelska, 2010

2 089 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

AvTiziana Margaria,Susanne Graf m. fl.

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

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

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2020

1 199 kr

Skickas inom 10-15 vardagar

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

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

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

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2021

709 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2021

989 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2022

989 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2022

989 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2022

919 kr

Skickas inom 10-15 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2022

1 199 kr

Skickas inom 10-15 vardagar

Engineering of Computer-Based Systems

8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

AvJan Kofroň,Tiziana Margaria m. fl.

Häftad, Engelska, 2023

899 kr

Skickas inom 5-8 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2024

1 039 kr

Skickas inom 7-10 vardagar

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

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar

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

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2024

1 049 kr

Skickas inom 10-15 vardagar

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

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2024

1 079 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2024

709 kr

Skickas inom 7-10 vardagar

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

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2016

1 409 kr

Skickas inom 10-15 vardagar

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

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

SOFSEM 2017: Theory and Practice of Computer Science

43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

AvBernhard Steffen,Christel Baier m. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

AvTiziana Margaria,Wang Yi

Häftad, Engelska, 2001

1 409 kr

Skickas inom 10-15 vardagar

Correct Hardware Design and Verification Methods

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

AvTiziana Margaria,Tom Melham

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

AvEd Brinksma,W. Rance Cleaveland m. fl.

Häftad, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

AvTiziana Margaria,Bernhard Steffen

Häftad, Engelska, 1996

709 kr

Skickas inom 10-15 vardagar

Tiziana Margaria - Böcker

Semantic Web Services Challenge

Formal Methods for Industrial Critical Systems

Semantic Web Services Challenge

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Models, Mindsets, Meta: The What, the How, and the Why Not?

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Engineering of Computer-Based Systems

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

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

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

SOFSEM 2017: Theory and Practice of Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Correct Hardware Design and Verification Methods

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems