Nathalie Bertrand – författare

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

4 produkter

1. 

   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, 2020

   729 kr

   Lägg i varukorg

2. 

   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, 2025

   1039 kr

   Lägg i varukorg

3. 

   Foundations of Software Science and Computation Structures

   29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings

   Av Nathalie Bertrand, Stefan Milius

   Häftad, 2026

   569 kr

   Lägg i varukorg

4. 

   Quantitative Evaluation of Systems

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

   Av Nathalie Bertrand, Luca Bortolussi

   Häftad, 2017

   729 kr

   Lägg i varukorg