E-Book, Englisch, Band 1946, 258 Seiten
Palanque / Paterno Interactive Systems. Design, Specification, and Verification
Erscheinungsjahr 2003
ISBN: 978-3-540-44675-0
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
E-Book, Englisch, Band 1946, 258 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-44675-0
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




