Higher Order Logic and Hardware Verification

Idioma: inglés

Editorial: Cambridge University Press, 2012

052141718X / 9780521417181

Serie: Libro 30 de 40 - Cambridge Tracts in Theoretical Computer Science

Librería: moluna, Greven, Alemaniamoluna

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 9 de julio de 2020

Tapa dura

Condición: Nuevo

EUR 148,23

Envío por EUR 48,99 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

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

Descripción del artículo del vendedor

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author s own research as well as on graduate teaching. Thus it can be used to accompany cours.

N° de ref. del artículo 446934780

Título
Higher Order Logic and Hardware Verification
Autor
Melham, T. F.|Melham, Thomas F.
Editorial
Cambridge University Press
Año de publicación
2012
Estado
New
Encuadernación
Encuadernación de tapa dura
Idioma
inglés
ISBN 10
052141718X
ISBN 13
9780521417181
Serie
Libro 30 de 40: Cambridge Tracts in Theoretical Computer Science

moluna

Greven, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde el 9 de julio de 2020

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

ArtículoDe 16 a 45 días hábilesDe 16 a 45 días hábiles
Primer artículoEUR 48,99EUR 48,99
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
  • Giro bancario
  • PayPal

Descripción de la tienda

Online Handel nur mit Neubüchern

Información empresarial del vendedor

Moluna GmbH

Engberdingdamm 27
Greven, Alemania 48268