Principles of Formal Quantitative Analysis
Broschiertes Buch

Principles of Formal Quantitative Analysis

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

Herausgegeben: Bertrand, Nathalie; Dubslaff, Clemens; Klüppelholz, Sascha
Versandkostenfrei!
Versandfertig in 6-10 Tagen
56,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
28 °P sammeln!
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 held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the...