Tiziana Margaria – författare & böcker

Semantic Web Services Challenge

Results from the First Year

AvCharles J. Petrie,Tiziana Margariam. fl.

Inbunden, Engelska, 2008

2 149 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 409 kr

Skickas inom 5-8 vardagar

Semantic Web Services Challenge

Results from the First Year

AvCharles J. Petrie,Tiziana Margariam. fl.

Häftad, Engelska, 2010

2 149 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

719 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

719 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

719 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

719 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 Grafm. fl.

Häftad, Engelska, 2019

719 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 219 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

719 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

719 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

719 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

1 009 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

1 009 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

1 009 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

939 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 219 kr

Skickas inom 10-15 vardagar

Del 14390

Del 14390 - Lecture Notes in Computer Science

Engineering of Computer-Based Systems

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

AvJan Kofroň,Tiziana Margariam. fl.

Häftad, Engelska, 2023

909 kr

Skickas inom 5-8 vardagar

Del 15219

Del 15219 - Lecture Notes in Computer Science

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 149 kr

Skickas inom 5-8 vardagar

Del 15220

Del 15220 - Lecture Notes in Computer Science

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

Del 15221

Del 15221 - Lecture Notes in Computer Science

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 149 kr

Skickas inom 10-15 vardagar

Del 15222

Del 15222 - Lecture Notes in Computer Science

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

949 kr

Skickas inom 5-8 vardagar

Del 15223

Del 15223 - Lecture Notes in Computer Science

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

719 kr

Skickas inom 5-8 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 439 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

719 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 Baierm. fl.

Häftad, Engelska, 2017

719 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 439 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

719 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 Cleavelandm. fl.

Häftad, Engelska, 1995

719 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

719 kr

Skickas inom 10-15 vardagar