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: 119.49 EUR
Availability: OutOfStock
Author: Graham Birtwistle

Cena

€ 119,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 20. aug. - . gada 3. sept.

Saņemiet paziņojumus par jauniem Graham Birtwistle izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2011. gada 17. septembris
ISBN13	9781461281955
Izdevēji	Springer-Verlag New York Inc.
Lapas	489
Izmēri	155 × 235 × 25 mm · 698 g
Valoda	Angļu
Redaktors	Birtwistle, Graham
Redaktors	Subrahmanyam, P.A.