E-Book, Englisch, 524 Seiten
Reihe: Texts in Theoretical Computer Science. An EATCS Series
Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering
Erscheinungsjahr 2022
ISBN: 978-3-030-38800-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Languages, Methods, Application Domains
E-Book, Englisch, 524 Seiten
Reihe: Texts in Theoretical Computer Science. An EATCS Series
ISBN: 978-3-030-38800-3
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark




