Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Advanced Formal Verification

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Advanced Formal Verification Rolf Drechsler
Libristo kód: 05256403
Nakladatelství Springer-Verlag New York Inc., leden 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

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

Zákazníci také koupili

Geschichte der Antike Hans-Joachim Gehrke / Kniha Pevná
common.buy 758 Kč
Top
Běsi Fjodor Michajlovič Dostojevskij / Kniha Pevná
common.buy 465 Kč
Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Kniha Brožovaná
common.buy 489 Kč
Inner Symphonies Hania Rani / Audio Audio CD
common.buy 558 Kč
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Kniha Brožovaná
common.buy 499 Kč
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Kniha Brožovaná
common.buy 611 Kč
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Kniha Brožovaná
common.buy 204 Kč
Existenzweisen Bruno Latour / Kniha Brožovaná
common.buy 512 Kč
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Kniha Brožovaná
common.buy 315 Kč

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs. §

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Advanced Formal Verification
Autor Rolf Drechsler
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2004
Počet stran 250
EAN 9781402077210
ISBN 1402077211
Libristo kód 05256403
Nakladatelství Springer-Verlag New York Inc.
Váha 1260
Rozměry 156 x 234 x 20

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačem podporovaný design (CAD)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací techniky
Filozofie a náboženství > Filozofie
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Young Offenders and Open Custody Tove Pettersson / Kniha Pevná
common.buy 5 435 Kč
DESERT HAMSTER AS PETS JOHN W. LIN / Kniha Brožovaná
common.buy 269 Kč
Practical Arduino Engineering Harold Timmis / E-kniha Adobe ePub DRM
common.buy 2 099 Kč
Taking Your Library Career to the Next Level Holly Hibner / E-kniha Adobe ePub DRM
common.buy 1 680 Kč
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Kniha Brožovaná
common.buy 154 Kč
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Kniha Brožovaná
common.buy 507 Kč
Understanding SALVATION in Plain English Gary Crandall / Kniha Brožovaná
common.buy 275 Kč
Novissima Bernhard O´Reilly / Kniha Brožovaná
common.buy 550 Kč
Global Change, Regional Response Barbara Stallings / Kniha Brožovaná
common.buy 1 327 Kč
The Book of Stupid Questions Tom Weller / Kniha Brožovaná
common.buy 391 Kč
Essay on Plantership. Inscribed to Sir George Thomas, Bart. as a Monument to Ancient Friendship. the Seventh Edition, with All the Additions from the Samuel Martin / Kniha Brožovaná
common.buy 397 Kč
Principles of Wood Science and Technology Franz F.P. Kollmann / Kniha Brožovaná
common.buy 3 681 Kč
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Kniha Brožovaná
common.buy 3 532 Kč
Připravujeme
Confidentiality and Mental Health Christopher Cordess / Kniha Pevná
common.buy 1 931 Kč
See You In Court Thomas Geoghegan / Kniha Brožovaná
common.buy 472 Kč
Interrupted Time Series Analysis David McDowall / Kniha Brožovaná
common.buy 662 Kč
France and the Holy Land Daniel H. Weiss / Kniha Pevná
common.buy 1 493 Kč
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Kniha Brožovaná
common.buy 2 357 Kč
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Kniha Pevná
common.buy 208 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?