Bertrand / Dubslaff / Klüppelholz

Erschienen: 31.08.2025

Principles of Formal Quantitative Analysis

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

Springer

ISBN 978-3-031-97438-0

Standardpreis


79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Bibliografische Daten

Fachbuch

Buch. Softcover

2025

47 s/w-Abbildungen, 58 Farbabbildungen.

Umfang: 444 S.

Format (B x L): 15.5 x 23.5 cm

Gewicht: 668

Verlag: Springer

ISBN: 978-3-031-97438-0

Produktbeschreibung

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 Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events.

Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes.


Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Rezensionen

Dieses Set enthält folgende Produkte:
    Auch in folgendem Set erhältlich:

    • nach oben

      Ihre Daten werden geladen ...