Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings - L - Rudi S Zagst - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540434191 - 20 de marzo de 2002
En caso de que portada y título no coincidan, el título será el correcto

Rudi S Zagst
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings - L 2002 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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

ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

486 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de marzo de 2002
ISBN13 9783540434191
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 486
Dimensiones 155 × 235 × 25 mm   ·   693 g
Lengua Alemán  
Editor Katoen, Joost-Pieter
Editor Stevens, Perdita

Mere med samme udgiver

Ver todo de Rudi S Zagst ( Ej. Paperback Book )