E-Book, Englisch, Band 9995, 789 Seiten, eBook
Fitzgerald / Heitmeyer / Gnesi FM 2016: Formal Methods
1. Auflage 2016
ISBN: 978-3-319-48989-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
E-Book, Englisch, Band 9995, 789 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-48989-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Interdisciplinary formal methods.- Formal methods in practice.- Tools for formal methods.- Role of formal methods in software and systems engineering.- Theoretical foundations.