Descrição:
Amsterdam: North-Holland, 1992. *Price HAS BEEN REDUCED BY 10% until Monday, June 24 (sale item)* 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.
![Nenhuma imagem disponível](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Nenhuma imagem disponível
Theorem Provers in Circuit Design: Proceedings of the Ifip Tc10/Wg10.2 International Conference on Theorem Provers in Circuit Design--Theory, Practice Brochura - 1992
por V. Stavridou (Other)
Detalhes
- 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)
- Encadernação Brochura
- Páginas 372
- Volumes 1
- Idioma ENG
- Editorial North-Holland
- Data de publicação 1992-06
- ISBN 9780444896865 / 0444896864
- Library of Congress subjects Automatic theorem proving, Integrated circuits -
- Número da Biblioteca do Congresso dos Estados Unidos 92017047
- Dewey Decimal Code 621.392
Mais exemplares à venda
![Nenhuma imagem disponível](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Theorem Provers in Circuit Design. IFIP Transactions A: Computer Science and Technology A-10
por Stavridou, V., et al., eds.
- Usado
- Brochura
- Condição
- Usado
- Encadernação
- Paperback
- ISBN 10 / ISBN 13
- 9780444896865 / 0444896864
- Quantidade Disponível
- 1
- Livreiro
-
Cleveland, Ohio, United States
- Preço do item
-
€ 4,04€ 4,26 frete para USA
Mostrar detalhes
Preço do item
€ 4,04
€ 4,26
frete para USA
![Nenhuma imagem disponível](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
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)
por IFIP TC10/WG10.2 International Conference on Theor
- Usado
- Bom
- Brochura
- Condição
- Usado - Bom
- Encadernação
- Paperback
- ISBN 10 / ISBN 13
- 9780444896865 / 0444896864
- Quantidade Disponível
- 1
- Livreiro
-
Newport Coast, California, United States
- Preço do item
-
€ 53,11Frete grátis para USA
Mostrar detalhes
Descrição:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Preço do item
€ 53,11
Frete grátis para USA