Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Springer Nature Switzerland
ISBN 978-3-032-12086-1
Standardpreis
Bibliografische Daten
eBook. PDF. Weiches DRM (Wasserzeichen)
2025
Umfang: 243 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-032-12086-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science Computer Science Computer Science (R0)
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

