Interactive Systems: Design, Specification, and Verification 1st Edición

8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers 1st Edición fue escrito por Chris J. Johnson y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Interactive Systems: Design, Specification, and Verification son 9783540455226, 3540455221 y los ISBN de versión impresa son 9783540428077, 3540428070. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers 1st Edición fue escrito por Chris J. Johnson y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Interactive Systems: Design, Specification, and Verification son 9783540455226, 3540455221 y los ISBN de versión impresa son 9783540428077, 3540428070. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.