Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science - P Forbrig - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540002666 - 19 de diciembre de 2002
En caso de que portada y título no coincidan, el título será el correcto

Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 - Lecture Notes in Computer Science 2002 edition

Precio
Mex$ 958
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.
Recibe notificaciones sobre nuevos lanzamientos de P Forbrig
Añadir a tu lista de deseos de iMusic

Aún no valorado

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement.


274 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de diciembre de 2002
ISBN13 9783540002666
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 274
Dimensiones 155 × 235 × 15 mm   ·   426 g
Lengua Alemán  
Editor Limbourg, Quentin
Editor Urban, Bodo
Editor Vanderdonckt, Jean

Más del mismo editor