E-Book, Englisch, Band 7041, 504 Seiten, eBook
Barthe / Pardo / Schneider Software Engineering and Formal Methods
Erscheinungsjahr 2011
ISBN: 978-3-642-24690-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
E-Book, Englisch, Band 7041, 504 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-642-24690-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research