Formal System Verification: State-of the-Art and Future Trends - - Grāmatas - Springer International Publishing AG - 9783319862231 - 2018. gada 10. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal System Verification: State-of the-Art and Future Trends Softcover reprint of the original 1st ed. 2018 edition

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties

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

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

182 pages, 49 Illustrations, color; 22 Illustrations, black and white; XVI, 182 p. 71 illus., 49 ill

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2018. gada 10. augusts
ISBN13 9783319862231
Izdevēji Springer International Publishing AG
Lapas 182
Izmēri 150 × 220 × 10 mm   ·   285 g
Valoda Vācu  
Redaktors Drechsler, Rolf

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