Hoppa till sidans huvudinnehåll

Tiziana Margaria – författare

Visar alla böcker från författaren .
44 produkter
Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba - Semantic Web Services Challenge, Inbunden
Del 8 - Semantic Web and Beyond

Semantic Web Services Challenge

Results from the First Year

AvCharles J. Petrie,Tiziana Margariam. fl.

Inbunden, Engelska, 2008

2 159 kr

Skickas inom 10-15 vardagar

Stefania Gnesi, Tiziana Margaria - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

A Survey of Applications

AvStefania Gnesi,Tiziana Margaria

Häftad, Engelska, 2013

1 439 kr

Skickas inom 5-8 vardagar

Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba - Semantic Web Services Challenge, Häftad
Del 8 - Semantic Web and Beyond

Semantic Web Services Challenge

Results from the First Year

AvCharles J. Petrie,Tiziana Margariam. fl.

Häftad, Engelska, 2010

2 159 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Susanne Graf, Kim G. Larsen - Models, Mindsets, Meta: The What, the How, and the Why Not?, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, Häftad

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

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Applications, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation, Häftad

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

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Häftad

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

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, Häftad

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

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Practice, Häftad

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

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, Häftad

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

Skickas inom 10-15 vardagar

Jan Kofroň, Tiziana Margaria, Cristina Seceleanu - Engineering of Computer-Based Systems, Häftad
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

939 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Häftad
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 159 kr

Skickas inom 5-8 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Häftad
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

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, Häftad
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 159 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Häftad
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

959 kr

Skickas inom 5-8 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Häftad
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

729 kr

Skickas inom 5-8 vardagar

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Häftad

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

Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria - SOFSEM 2017: Theory and Practice of Computer Science, Häftad
Del 10139 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Wang Yi - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

Tiziana Margaria, Tom Melham - Correct Hardware Design and Verification Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Tiziana Margaria, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar