Importe total (1 artículo artículos):
Destino del pedido:
formal methods computer aided design (100 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (100)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (79)
- Como nuevo, Excelente o Muy bueno (11)
- Bueno o Aceptable (10)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (40)
- No impresión bajo demanda (85)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in . Notes in Computer Science, 1954, Band 1954)
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 7,85
Convertir monedaEUR 17,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Befriedigend. 564 Seiten; 9783540432029.4 Gewicht in Gramm: 1.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 69,29
Usado desde EUR 25,75
Encuentre también Tapa blanda
-
Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96 Palo Alto, CA, USA, Nov. 6-8, 1996 Proceedings. (=Lecture Notes in Computer Science; 1166).
Publicado por Springer Berlin, 1996
Idioma: Inglés
Librería: ralfs-buecherkiste, Herzfelde, MOL, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 15,00
Convertir monedaEUR 15,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Gut. 470 Computerwissenschaft Guter Zustand/ Good With figures and tables. Ex-Library. ha1060027 Sprache: Englisch Gewicht in Gramm: 650.
-
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Publicado por New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Idioma: Inglés
Librería: CSG Onlinebuch GMBH, Darmstadt, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 16,92
Convertir monedaEUR 21,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,71
Usado desde EUR 37,92
Encuentre también Tapa blanda
-
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Publicado por Springer Berlin Heidelberg, 1996
ISBN 10: 3540619372 ISBN 13: 9783540619376
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,71
Usado desde EUR 50,71
Encuentre también Tapa blanda
-
Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Publicado por Springer Berlin Heidelberg, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 53,91
Usado desde EUR 52,86
Encuentre también Tapa blanda
-
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,34
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Librería: Solomon's Mine Books, Howard, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,24
Convertir monedaEUR 39,31 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. *NEW* Hardcover fresh from the distributor with no remainder marks and no price tags.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 61,55
Encuentre también Tapa dura
-
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 63,50
Convertir monedaGratis gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carrito
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,50
Usado desde EUR 70,25
Encuentre también Tapa blanda
-
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Librería: StainesBook, Weybridge, SURRE, Reino Unido
Calificación del vendedor: 1 de 5 estrellas
EUR 78,00
Convertir monedaEUR 40,48 gastos de envío desde Reino Unido a EspañaCantidad disponible: 2 disponibles
Añadir al carrito
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 118,48
Usado desde EUR 231,41
Encuentre también Tapa dura
-
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 164,29
Convertir monedaEUR 5,19 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 169,48
Usado desde EUR 255,23
Encuentre también Tapa blanda
-
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 192,16
Convertir monedaEUR 25,62 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 2 disponibles
Añadir al carritoCondición: New. SUPER FAST SHIPPING.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 217,78
Usado desde EUR 330,28
Encuentre también Tapa blanda
