Ph. D. Beyer, Dirk - Böcker

Visar alla böcker från författaren Ph. D. Beyer, Dirk.
6 produkter
Dirk Beyer, Chantal Keller, Ph. D. Beyer, Dirk - Tests and Proofs, Häftad

Tests and Proofs

Av Dirk Beyer, Chantal Keller, Ph. D. Beyer, Dirk

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Damien Zufferey, Ph. D. Beyer, Dirk - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Dirk Beyer, Damien Zufferey, Ph. D. Beyer, Dirk

Häftad, Engelska, 2020

1 169 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon, Ph. D. Beyer, Dirk - TOOLympics Challenge 2023, Häftad
Del 14550 - Lecture Notes in Computer Science

TOOLympics Challenge 2023

Av Dirk Beyer, Arnd Hartmanns, Fabrice Kordon, Ph. D. Beyer, Dirk

Häftad, Engelska, 2024

849 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Marieke Huisman, 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, Ph. D. Beyer, Dirk

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Dirk Beyer, Marieke Huisman, 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, Ph. D. Beyer, Dirk

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar