Descripción:
Amsterdam: North-Holland, 1992. *Price HAS BEEN REDUCED by 10% until Tuesday, May 28 (holiday sale)* 360 pp., softcover, ex library, else textually clean & tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
No hay imagen
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice Tapa blanda - 1992
de V. Stavridou (Other)
Detalles
- Título Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice
- Autor V. Stavridou (Other)
- Encuadernación Tapa blanda
- Páginas 372
- Volúmenes 1
- Idioma ENG
- Editorial North-Holland
- Fecha de publicación 1992-06
- ISBN 9780444896865 / 0444896864
- Library of Congress subjects Automatic theorem proving, Integrated circuits -
- Número de catálogo de la Librería del Congreso de EEUU 92017047
- Dewey Decimal Code 621.392
Más ejemplares
Theorem Provers in Circuit Design. IFIP Transactions A: Computer Science and Technology A-10
de Stavridou, V., et al., eds.
- Usado
- Tapa blanda
- Estado
- Usado
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780444896865 / 0444896864
- Cantidad disponible
- 1
- Librería
-
Cleveland, Ohio, United States
- Precio
-
EUR 3.98EUR 4.20 enviando a USA
Mostrar detalles
Precio
EUR 3.98
EUR 4.20
enviando a USA
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design : Theory, Pract ... A, Computer Science and Technology, A-10)
de IFIP TC10/WG10.2 International Conference on Theor
- Usado
- Bien
- Tapa blanda
- Estado
- Usado - Bien
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9780444896865 / 0444896864
- Cantidad disponible
- 1
- Librería
-
Newport Coast, California, United States
- Precio
-
EUR 52.36Envío gratuito a USA
Mostrar detalles
Descripción:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Precio
EUR 52.36
Envío gratuito a USA