eBook

Prabhakar / Vandin

Erschienen: 01.10.2025

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings

Springer Nature Switzerland

ISBN 978-3-032-05792-1

Standardpreis

69,54 €

sofort lieferbar!

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

Bibliografische Daten

eBook. PDF

2025

XIII, 508 p. 158 illus., 111 illus. in color..

In englischer Sprache

Umfang: 508 S.

Verlag: Springer Nature Switzerland

ISBN: 978-3-032-05792-1

Weiterführende bibliografische Daten

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer-Verlag GmbH

Tiergartenstr. 17
69121 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte