E-Book, Englisch, Band 3294, 252 Seiten
Dean / Boute Teaching Formal Methods
Erscheinungsjahr 2004
ISBN: 978-3-540-30472-2
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
E-Book, Englisch, Band 3294, 252 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-30472-2
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




