E-Book, Englisch, 169 Seiten
Reihe: Computer Science
Cerone Formal Methods for an Informal World
1. Auflage 2023
ISBN: 978-3-031-43678-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
E-Book, Englisch, 169 Seiten
Reihe: Computer Science
ISBN: 978-3-031-43678-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark




