E-Book, Englisch, Band 14080, 413 Seiten
Bowen / Li / Xu Theories of Programming and Formal Methods
1. Auflage 2023
ISBN: 978-3-031-40436-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
E-Book, Englisch, Band 14080, 413 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-40436-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark




