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: 13339 ISK
Availability: OutOfStock
Author: Graham Birtwistle

Price

Íkr 13,339

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 3 - 13

Our customers say:

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

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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

Media	Books Paperback Book (Book with soft cover and glued back)
Released	September 17, 2011
ISBN13	9781461281955
Publishers	Springer-Verlag New York Inc.
Pages	489
Dimensions	155 × 235 × 25 mm · 698 g
Language	English
Editor	Birtwistle, Graham
Editor	Subrahmanyam, P.A.