Graham Birtwistle
Current Trends in Hardware Verification and Automated Theorem Proving Graham Birtwistle Softcover reprint of the original 1st ed. 1989 edition

Name: Current Trends in Hardware Verification and Automated Theorem Proving
Price: 106.99 USD
Availability: OutOfStock
Author: Graham Birtwistle

Precio

$ 106,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Current Trends in Hardware Verification and Automated Theorem Proving

Graham Birtwistle

Softcover reprint of the original 1st ed. 1989 edition

Their idea was to model Viper in a sequence of decreasingly abstract levels, each of which concentrated on some aspect ofthe design, such as the flow ofcontrol, the processingofinstructions, and so on. That is, each model would be a specification of the next (less abstract) model, and an implementation of the previous model (if any).

489 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	17 de septiembre de 2011
ISBN13	9781461281955
Editores	Springer-Verlag New York Inc.
Páginas	489
Dimensiones	155 × 235 × 25 mm · 698 g
Lengua	Inglés
Editor	Birtwistle, Graham
Editor	Subrahmanyam, P.A.