E-Book, Englisch, 321 Seiten, eBook
Sankaranarayanan / Vicario Formal Modeling and Analysis of Timed Systems
1. Auflage 2015
ISBN: 978-3-319-22975-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
E-Book, Englisch, 321 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-22975-1
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research