E-Book, Englisch, 277 Seiten, eBook
Camara / Steffen Software Engineering and Formal Methods
1. Auflage 2020
ISBN: 978-3-030-57506-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
E-Book, Englisch, 277 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-030-57506-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Software Engineering.- Software Technologies.- Model-Driven Engineering.- Formal Methods.