Descripción:
Springer, 2001-03-21. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.
![Tools and Algorithms for the Construction and Analysis of Systems: 7th](https://d3525k1ryd2155.cloudfront.net/f/658/418/9783540418658.IN.0.m.jpg)
Foto de archivo: la portada puede ser diferente
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere Tapa blanda - 2001 - 2001st Edición
de Tiziana Margaria (Editor); Wang Yi (Editor)
Primera línea
As indicated in the National Technology Roadmap for Semiconductors1, the semiconductor industry faces a serious challenge: chip designers are finding it increasingly difficult to keep up with the advances in semiconductor manufacturing.
Detalles
- Título Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere
- Autor Tiziana Margaria (Editor); Wang Yi (Editor)
- Encuadernación Tapa blanda
- Número de edición 2001st
- Edición 2001
- Páginas 594
- Volúmenes 1
- Idioma ENG
- Editorial Springer
- Fecha de publicación 2001-03-21
- ISBN 9783540418658 / 3540418652
- Peso 3.06 libras (1.39 kg)
- Dimensiones 11 x 8.5 x 1.23 pulgadas (27.94 x 21.59 x 3.12 cm)
- Número de catálogo de la Librería del Congreso de EEUU 2001020737
- Dewey Decimal Code 004.211
Más ejemplares
![Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/658/418/9783540418658.IN.0.m.jpg)
Foto de archivo: la portada puede ser diferente
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... (Lecture Notes in Computer Science)
de Margaria, Tiziana [Editor]; Yi, Wang [Editor];
- Usado
- Muy bueno
- Tapa blanda
- Estado
- Usado - Muy bueno
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540418658 / 3540418652
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 27.89EUR 5.64 enviando a USA
Mostrar detalles
Precio
EUR 27.89
EUR 5.64
enviando a USA
![Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference,...](https://d3525k1ryd2155.cloudfront.net/h/498/718/1588718498.0.m.jpg)
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20
de Tiziana Margaria
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540418658 / 3540418652
- Cantidad disponible
- 705
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 112.22EUR 9.54 enviando a USA
Mostrar detalles
Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20.
Precio
EUR 112.22
EUR 9.54
enviando a USA