Current Trends in Hardware Verification and Automated Theorem Proving - Graham Birtwistle - Knjige - Springer-Verlag New York Inc. - 9781461281955 - 17. septembra 2011
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. nov - 4. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Graham Birtwistle

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 17. septembra 2011
ISBN13 9781461281955
Založniki Springer-Verlag New York Inc.
Strani 489
Dimenzije 155 × 235 × 25 mm   ·   698 g
Jezik Angleščina  
Urednik Birtwistle, Graham
Urednik Subrahmanyam, P.A.

Več od Graham Birtwistle

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Graham Birtwistle