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 029 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 349 kr

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

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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana Margaria, Susanne Graf m. 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 259 kr

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

Av Tiziana 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 079 kr

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

829 kr

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

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

Av Bernhard Steffen, Christel Baier m. 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

Av Tiziana Margaria, Wang Yi

Häftad, Engelska, 2001

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

Av Tiziana 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

Av Ed Brinksma, W. Rance Cleaveland m. 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.

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 1996

719 kr

Skickas inom 10-15 vardagar