Tiziana Margaria - Böcker

Visar alla böcker från författaren Tiziana Margaria.

44 produkter

Böcker

44 produkter

Del 8

Del 8 - Semantic Web and Beyond

Semantic Web Services Challenge

Av Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

Inbunden, Engelska, 2008

2 109 kr

Skickas inom 7-10 vardagar

Formal Methods for Industrial Critical Systems

Av Stefania Gnesi, Tiziana Margaria

Häftad, Engelska, 2013

1 389 kr

Skickas inom 5-8 vardagar

Del 8

Del 8 - Semantic Web and Beyond

Semantic Web Services Challenge

Av Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba

Häftad, Engelska, 2010

2 169 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar

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

Av Tiziana Margaria, Susanne Graf, Kim G. Larsen

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

1 249 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

739 kr

Skickas inom 7-10 vardagar

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

739 kr

Skickas inom 7-10 vardagar

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

739 kr

Skickas inom 7-10 vardagar

Leveraging Applications of Formal Methods, Verification and Validation

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

1 029 kr

Skickas inom 7-10 vardagar

Del 13702

Del 13702 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 029 kr

Skickas inom 7-10 vardagar

Del 13703

Del 13703 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 029 kr

Skickas måndag 20/10

Del 13704

Del 13704 - Lecture Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

939 kr

Skickas måndag 20/10

Del 13701

Del 13701 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2022

1 249 kr

Skickas inom 7-10 vardagar

Del 14390

Del 14390 - Lecture Notes in Computer Science

Engineering of Computer-Based Systems

Av Jan Kofroň, Tiziana Margaria, Cristina Seceleanu, Jan Kofron, Jan Kofroň, Jan Kofro¿

Häftad, Engelska, 2023

939 kr

Skickas inom 5-8 vardagar

Del 15219

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 109 kr

Skickas inom 5-8 vardagar

Del 15220

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 019 kr

Skickas inom 7-10 vardagar

Del 15221

Del 15221 - Lecture Notes in Computer Science

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 329 kr

Skickas inom 7-10 vardagar

Del 15222

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

769 kr

Skickas inom 5-8 vardagar

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2016

1 459 kr

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar

SOFSEM 2017: Theory and Practice of Computer Science

Av Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar

Del 2031

Del 2031 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Tiziana Margaria, Wang Yi

Häftad, Engelska, 2001

1 459 kr

Skickas inom 7-10 vardagar

Del 2144

Del 2144 - Lecture Notes in Computer Science

Correct Hardware Design and Verification Methods

Av Tiziana Margaria, Tom Melham

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar

Del 1019

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

Del 1019 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 1995

739 kr

Skickas inom 7-10 vardagar

Del 1055

Del 1055 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 1996

739 kr

Skickas inom 7-10 vardagar

Tiziana Margaria - Böcker

Kategorier

Böcker

Språk

Pris

Bokformat

Utgivare

Utgivningsår

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