Ir al contenido

Tools and Algorithms for the Construction and Analysis of Systems: 7th
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,...
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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 27.89
EUR 5.64 enviando a USA

Mostrar detalles

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.
Precio
EUR 27.89
EUR 5.64 enviando a USA
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference,...

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
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 112.22
EUR 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