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).

Idioma: inglés

Editorial: New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002

3540001166 / 9783540001164

  • Tapa blanda
  • Usado
Ver todos los detalles

Librería: CSG Onlinebuch GMBH, Darmstadt, AlemaniaCSG Onlinebuch GMBH

Vendedor de 5 estrellas

Vendedor de IberLibro desde 6 de septiembre de 2022

Tapa blanda

Condición: Usado - Bueno

EUR 16,92

Envío por EUR 95,00 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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.

N° de ref. del artículo 13391

Título
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).
Autor
Mark (editor) and John W. (editor) OLeary Aagaard
Editorial
New York, NY, U.S.A. Springer-Verlag New York, Incorporated
Año de publicación
2002
Estado
Gut
Encuadernación
Softcover
Idioma
inglés
ISBN 10
3540001166
ISBN 13
9783540001164

CSG Onlinebuch GMBH

Darmstadt, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 6 de septiembre de 2022

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 60 a 60 días hábilesDe 60 a 60 días hábiles
Primer artículoEUR 95,00EUR 110,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • PayPal

Descripción de la tienda

Online Handel mit gebrauchten und antiquarischen Büchern.

Especialidad

Gebrauchtbücher

Información empresarial del vendedor

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Alemania 64293