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
2025
XVIII, 243 p. 43 illus., 20 illus. in color..
In englischer Sprache
Umfang: 243 S.
Verlag: Springer Nature Switzerland
ISBN: 978-3-032-12086-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Computer Science (R0) Lecture Notes in Computer Science Computer Science
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
Tiergartenstr. 17
69121 Heidelberg, DE
ProductSafety@springernature.com
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

