Correct Hardware Design and Verification Methods.

Idioma: inglés

Editorial: Berlin Springer Verlag, 2003

354020363X / 9783540203636

  • Tapa blanda
  • Usado
Ver todos los detalles

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

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 6 de septiembre de 2022

Ver los artículos de este vendedor
Tapa blanda

Condición: Usado - Bueno

EUR 21,16

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

Cantidad disponible: 1 disponibles

Añadir al carrito

Descripción del artículo del vendedor

Gebraucht - Gut Zustand: Gut, Mängelexemplar, XII, 426 p. Also available online. About this book: his book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L‘Aquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications. Written for researchers and professionals.

N° de ref. del artículo 18898

Título
Correct Hardware Design and Verification Methods.
Autor
Daniel and Enrico Tronci (Hrsg.) Geist
Editorial
Berlin Springer Verlag
Año de publicación
2003
Estado
Gut
Encuadernación
Softcover
Idioma
inglés
ISBN 10
354020363X
ISBN 13
9783540203636

CSG Onlinebuch GMBH

Darmstadt, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks 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