E-Book, Englisch, Band 11852, 528 Seiten
Ait-Ameur / Qin Formal Methods and Software Engineering
1. Auflage 2019
ISBN: 978-3-030-32409-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
E-Book, Englisch, Band 11852, 528 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-32409-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark




