Nathalie Bertrand - Böcker

Visar alla böcker från författaren Nathalie Bertrand.

3 produkter

Kategorier

3 produkter

Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Av Nathalie Bertrand, Nils Jansen

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Principles of Formal Quantitative Analysis

Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

Av Nathalie Bertrand, Clemens Dubslaff m. fl

Häftad, Engelska, 2025

1 259 kr

Skickas inom 10-15 vardagar

Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Av Nathalie Bertrand, Luca Bortolussi

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar