E-Book, Englisch, 438 Seiten
Polikarpova / Schneider Integrated Formal Methods
1. Auflage 2017
ISBN: 978-3-319-66845-1
Verlag: Springer Nature Switzerland
Format: PDF
Kopierschutz: 1 - PDF Watermark
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
E-Book, Englisch, 438 Seiten
Reihe: Programming and Software Engineering
ISBN: 978-3-319-66845-1
Verlag: Springer Nature Switzerland
Format: PDF
Kopierschutz: 1 - PDF Watermark




