E-Book, Englisch, Band 2220, 221 Seiten
Johnson Interactive Systems: Design, Specification, and Verification
Erscheinungsjahr 2003
ISBN: 978-3-540-45522-6
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
E-Book, Englisch, Band 2220, 221 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-45522-6
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




