Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Advanced Formal Verification

Jezik AngleščinaAngleščina
Knjiga Trda
Knjiga Advanced Formal Verification Rolf Drechsler
Koda Libristo: 05256403
Založba Springer-Verlag New York Inc., januar 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Celoten opis
? points 236 b
97.40 €
Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Knjiga Mehka
common.buy 20.22 €
Existenzweisen Bruno Latour / Knjiga Mehka
common.buy 23.05 €
Geschichte der Antike Hans-Joachim Gehrke / Knjiga Trda
common.buy 31.35 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Knjiga Mehka
common.buy 8.39 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Knjiga Mehka
common.buy 23.05 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Knjiga Mehka
common.buy 18.91 €
Inner Symphonies Hania Rani / Zvok Zvočni CD
common.buy 23.05 €
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Knjiga Mehka
common.buy 13.04 €
Top
Běsi Fjodor Michajlovič Dostojevskij / Knjiga Trda
common.buy 19.21 €

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. §

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Advanced Formal Verification
Avtor Rolf Drechsler
Jezik Angleščina
Vezava Knjiga - Trda
Datum izida 2004
Število strani 250
EAN 9781402077210
ISBN 1402077211
Koda Libristo 05256403
Založba Springer-Verlag New York Inc.
Teža 1260
Mere 156 x 234 x 20

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Philosophy & Religion > Philosophy
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Young Offenders and Open Custody Tove Pettersson / Knjiga Trda
common.buy 224.66 €
DESERT HAMSTER AS PETS JOHN W. LIN / Knjiga Mehka
common.buy 11.12 €
Practical Arduino Engineering Harold Timmis / E-knjiga Adobe ePub DRM
common.buy 78.89 €
Taking Your Library Career to the Next Level Holly Hibner / E-knjiga Adobe ePub DRM
common.buy 63.82 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Knjiga Mehka
common.buy 6.36 €
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Knjiga Mehka
common.buy 20.93 €
Understanding SALVATION in Plain English Gary Crandall / Knjiga Mehka
common.buy 11.32 €
Novissima Bernhard O´Reilly / Knjiga Mehka
common.buy 22.75 €
Tech Talk Intermediate: Workbook Vicki Hollett / Knjiga Mehka
common.buy 27.61 €
The Book of Stupid Questions Tom Weller / Knjiga Mehka
common.buy 16.18 €
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 / Knjiga Mehka
common.buy 16.38 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Knjiga Mehka
common.buy 145.96 €
Global Change, Regional Response Barbara Stallings / Knjiga Mehka
common.buy 57.75 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Knjiga Mehka
common.buy 152.13 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Knjiga Trda
common.buy 8.59 €
France and the Holy Land Daniel H. Weiss / Knjiga Trda
common.buy 61.70 €
Interrupted Time Series Analysis David McDowall / Knjiga Mehka
common.buy 24.37 €
See You In Court Thomas Geoghegan / Knjiga Mehka
common.buy 19.51 €
Kmalu
Confidentiality and Mental Health Christopher Cordess / Knjiga Trda
common.buy 79.80 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Knjiga Mehka
common.buy 97.40 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?