Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal System Verification

Name: Formal System Verification
Brand: Springer International Publishing AG
SKU: 16106137
Price: 2827 CZK
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783319576831

Rolf Drechsler

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 16106137

Nakladatelství Springer International Publishing AG, červenec 2017

This book provides readers with a comprehensive introduction to the formal verification of hardware... Celý popis

Libristo kód: 16106137

283 b

2 827 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Contes Allemands 2e Edition SIMROCK-K

Brožovaná

511 Kč

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). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.