Dana Fisman - Böcker

Visar alla böcker från författaren Dana Fisman.

3 produkter

Kategorier

3 produkter

Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Av Lu Feng, Dana Fisman

Häftad, Engelska, 2021

1 089 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

Av Dana Fisman, Grigore Rosu

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Av Dana Fisman, Grigore Rosu

Häftad, Engelska, 2022

579 kr

Skickas inom 10-15 vardagar