Bernhard Steffen - Böcker

Visar alla böcker från författaren Bernhard Steffen.
57 produkter
Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Häftad, Engelska, 2020

799 kr

Skickas inom 5-8 vardagar
Bernhard Steffen, Fabrice Kordon, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems, Inbunden

Tools and Algorithms for the Construction and Analysis of Systems

Av Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Inbunden, Engelska, 2020

889 kr

Skickas inom 5-8 vardagar
Bernhard Steffen - Karten Von Mykenai, Inbunden

Karten Von Mykenai

Av Bernhard Steffen

Inbunden, Tyska, 2025

419 kr

Skickas inom 5-8 vardagar
Bernhard Steffen - Karten Von Mykenai, Häftad

Karten Von Mykenai

Av Bernhard Steffen

Häftad, Tyska, 2025

219 kr

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing - Mathematical Foundations of Advanced Informatics, Häftad

Mathematical Foundations of Advanced Informatics

Av Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing

Häftad, Engelska, 2019

469 kr

Skickas måndag 1/12
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, Ph. D. Beyer, Dirk - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, Ph. D. Beyer, Dirk

Häftad, Engelska, 2019

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2020

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

739 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2021

1 029 kr

Skickas inom 10-15 vardagar
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, Häftad

Model Checking, Synthesis, and Learning

Av Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog

Häftad, Engelska, 2021

919 kr

Skickas måndag 1/12
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, Häftad
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 10-15 vardagar
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, Häftad
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

999 kr

Skickas måndag 1/12
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Practice, Häftad
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

919 kr

Skickas måndag 1/12
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, Häftad
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 10-15 vardagar
Bernhard Steffen - Bridging the Gap Between AI and Reality, Häftad
Del 14380 - Lecture Notes in Computer Science

Bridging the Gap Between AI and Reality

Av Bernhard Steffen

Häftad, Engelska, 2023

989 kr

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

1 069 kr

Skickas inom 7-10 vardagar
Bernhard Steffen - Bridging the Gap Between AI and Reality, Häftad
Del 14129 - Lecture Notes in Computer Science

Bridging the Gap Between AI and Reality

Av Bernhard Steffen

Häftad, Engelska, 2024

1 799 kr

Skickas inom 10-15 vardagar
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such, Häftad
Del 15230 - Lecture Notes in Computer Science

Real Time and Such

Av Susanne Graf, Paul Pettersson, Bernhard Steffen

Häftad, Engelska, 2024

739 kr

Skickas inom 7-10 vardagar
Mike Hinchey, Bernhard Steffen - Combined Power of Research, Education, and Dissemination, Häftad
Del 15240 - Lecture Notes in Computer Science

Combined Power of Research, Education, and Dissemination

Av Mike Hinchey, Bernhard Steffen

Häftad, Engelska, 2024

1 129 kr

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

979 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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

979 kr

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

Av Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 2024

739 kr

Skickas inom 7-10 vardagar
Bernhard Steffen - Bridging the Gap Between AI and Reality, Häftad
Del 15217 - Lecture Notes in Computer Science

Bridging the Gap Between AI and Reality

Av Bernhard Steffen

Häftad, Engelska, 2024

989 kr

Skickas inom 10-15 vardagar