Hoppa till sidans huvudinnehåll

Ph. D. Beyer, Dirk - Böcker

Visar alla böcker från författaren Ph. D. Beyer, Dirk.
7 produkter

Markovian Demand Inventory Models

Av Dirk Beyer, Feng Cheng m. fl

Inbunden, Engelska, 2009

1 689 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Av Dirk Beyer, Marieke Huisman m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Av Dirk Beyer, Chantal Keller m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

Av Dirk Beyer, Damien Zufferey m. fl

Häftad, Engelska, 2020

1 159 kr

Skickas inom 10-15 vardagar

TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competitions

Av Dirk Beyer, Arnd Hartmanns m. fl

Häftad, Engelska, 2024

859 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Av Dirk Beyer, Marieke Huisman m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Av Dirk Beyer, Marieke Huisman m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar