Hoppa till sidans huvudinnehåll

Tiziana Margaria - Böcker

Visar alla böcker från författaren Tiziana Margaria.
44 produkter
Del 8 - Semantic Web and Beyond

Semantic Web Services Challenge

Results from the First Year

Av Charles J. Petrie, Tiziana Margaria m. fl

Inbunden, Engelska, 2008

2 109 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Critical Systems

A Survey of Applications

Av Stefania Gnesi, Tiziana Margaria

Häftad, Engelska, 2013

1 409 kr

Skickas inom 7-10 vardagar
Del 8 - Semantic Web and Beyond

Semantic Web Services Challenge

Results from the First Year

Av Charles J. Petrie, Tiziana Margaria m. fl

Häftad, Engelska, 2010

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Susanne Graf m. fl

Häftad, Engelska, 2019

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

1 029 kr

Skickas inom 10-15 vardagar
Del 13702 - Lecture Notes in Computer Science

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

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 029 kr

Skickas inom 10-15 vardagar
Del 13703 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

999 kr

Skickas inom 3-6 vardagar
Del 13704 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Practice

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

919 kr

Skickas inom 3-6 vardagar
Del 13701 - Lecture Notes in Computer Science

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

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

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

Av Jan Kofroň, Tiziana Margaria m. fl

Häftad, Engelska, 2023

909 kr

Skickas inom 7-10 vardagar
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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 069 kr

Skickas inom 7-10 vardagar
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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

979 kr

Skickas inom 10-15 vardagar
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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 259 kr

Skickas inom 10-15 vardagar
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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

979 kr

Skickas inom 7-10 vardagar
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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2016

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2016

739 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

Av Bernhard Steffen, Christel Baier m. fl

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar
Del 2031 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Wang Yi

Häftad, Engelska, 2001

1 449 kr

Skickas inom 10-15 vardagar
Del 2144 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Tom Melham

Häftad, Engelska, 2001

739 kr

Skickas inom 10-15 vardagar
Del 1019 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

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

Av Ed Brinksma, W. Rance Cleaveland m. fl

Häftad, Engelska, 1995

739 kr

Skickas inom 10-15 vardagar
Del 1055 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 1996

739 kr

Skickas inom 10-15 vardagar