Formal System Verification - - Knihy - Springer International Publishing AG - 9783319576831 - 03. júla 2017
V prípade, že obal a názov nesedia, platí názov

Formal System Verification 1st ed. 2018 edition

Cena
€ 120,99

Objednané zo vzdialeného skladu

Očakávané doručenie 25. jún - 3. júl

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

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

Médium Knihy     Book
Vydané 03. júla 2017
ISBN13 9783319576831
Vydavatelia Springer International Publishing AG
Strany 182
Rozmery 150 × 220 × 20 mm   ·   458 g
Jazyk Nemčina  
Editor Drechsler, Rolf

Mere med samme udgiver