Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science - Susanne Graf - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540213147 - 18 de marzo de 2004
En caso de que portada y título no coincidan, el título será el correcto

Susanne Graf
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).

324 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de marzo de 2004
ISBN13 9783540213147
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 314
Dimensiones 155 × 235 × 17 mm   ·   498 g
Lengua Alemán  
Editor Graf, Susanne
Editor Mounier, Laurent

Mas por Susanne Graf

Mostrar todo

Mere med samme udgiver

Ver todo de Susanne Graf ( Ej. Paperback Book )