Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science - Thomas Kropf - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540634751 - 1997. gada 27. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Thomas Kropf
Formal Hardware Verification: Methods and Systems in Comparison - Lecture Notes in Computer Science

Cena
€ 64,49

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

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem Thomas Kropf izdevumiem

Mūsu klienti saka:

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

Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits.

388 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1997. gada 27. augusts
ISBN13 9783540634751
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 388
Izmēri 155 × 233 × 22 mm   ·   494 g
Valoda Vācu  
Redaktors Kropf, Thomas

Vairāk no Thomas Kropf

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Thomas Kropf ( piem., Hardcover Book un Paperback Book )