Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme '93, Arles, France, May 24-26, 1993 - Proceedings - Lecture Notes in Computer Science - George J Milne - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540567783 - 1993. gada 12. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

George J Milne
Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme '93, Arles, France, May 24-26, 1993 - Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 15. - 23. okt.
Saņemiet paziņojumus par jauniem George J Milne 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

Formal verification is emerging as a plausible alternative to simulation for the establishment of correct digital hardware designs. This volume contains research papers on the subject, presented at a conference on Correct Hardware Design Methods, held in Arles, France in May 1993.

275 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 12. maijs
ISBN13 9783540567783
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 275
Izmēri 155 × 233 × 15 mm   ·   408 g
Valoda Vācu  
Redaktors Milne, George J.
Redaktors Pierre, Laurence

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

Skatīt visus George J Milne