Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, September 4-7, 2001 Proceedings - Lecture Notes in Computer Science - T Margaria - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540425410 - 2001. gada 27. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

T Margaria
Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, September 4-7, 2001 Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

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

Paredzamā piegāde . gada 30. okt. - . gada 9. nov.
Saņemiet paziņojumus par jauniem T Margaria 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

A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

488 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2001. gada 27. augusts
ISBN13 9783540425410
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 488
Izmēri 155 × 233 × 25 mm   ·   698 g
Valoda Vācu  
Redaktors Margaria, Tiziana
Redaktors Melham, Tom

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

Skatīt visus T Margaria