Sascha Klüppelholz – författare
Visar alla böcker från författaren Sascha Klüppelholz. Handla med fri frakt och snabb leverans.
2 produkter
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
813 kr
Lägg i varukorg
This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier …
Principles of Formal Quantitative Analysis
Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Av Sascha Kluppelholz, Clemens Dubslaff m. fl.
E-bok, 2025
1037 kr
Lägg i varukorg
This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier …
