Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Roadmap for Formal Property Verification
Język
Angielski
Angielski
Książka
Miękka
?
304 b
304 b
516.18
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
/
Miękka
171.42
zł
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.
Informacje o książce
Pełna nazwa
Roadmap for Formal Property Verification
Autor
Pallab Dasgupta
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2010
Liczba stron
252
EAN
9789048171859
ISBN
9048171857
Kod Libristo
01975380
Wydawnictwo
Springer
Waga
434
Wymiary
160 x 240 x 15
Kategoria
Technika, inżynieria i rolnictwo, procesy przemysłowe
>
Elektronika i telekomunikacja
>
Inżynieria elektroniczna
>
Obwody i komponenty elektroniczne
Technika, inżynieria i rolnictwo, procesy przemysłowe
>
Technika – zagadnienia ogólne
>
Inżynieria – zagadnienia ogólne
Technika, inżynieria i rolnictwo, procesy przemysłowe
>
Energetyka i inżynieria energetyczna
>
Inżynieria elektryczna
