Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Advanced Formal Verification

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Advanced Formal Verification Rolf Drechsler
Libristo kod: 05256403
Nakladnici Springer-Verlag New York Inc., siječanj 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Cijeli opis
? points 249 b
102.99 €
Vanjske zalihe Šaljemo za 10-13 dana

Do 30 dana za povrat

Kupci su kupili i

Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Knjiga Meki uvez
common.buy 21.44 €
Existenzweisen Bruno Latour / Knjiga Meki uvez
common.buy 22.45 €
Geschichte der Antike Hans-Joachim Gehrke / Knjiga Tvrdi uvez
common.buy 33.18 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Knjiga Meki uvez
common.buy 8.99 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Knjiga Meki uvez
common.buy 23.97 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Knjiga Meki uvez
common.buy 19.52 €
Inner Symphonies Hania Rani / Audio Audio CD
common.buy 24.17 €
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Knjiga Meki uvez
common.buy 13.65 €
Dieta Paleo: Libro de Recetas de la Dieta Paleo Howard Benson / E-knjiga Adobe ePub DRM
common.buy 2.72 €
Běsi Fjodor Michajlovič Dostojevskij / Knjiga Tvrdi uvez
common.buy 20.53 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Advanced Formal Verification
Autor Rolf Drechsler
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2004
Broj stranica 250
EAN 9781402077210
ISBN 1402077211
Libristo kod 05256403
Nakladnici Springer-Verlag New York Inc.
Težina 1260
Dimenzije 156 x 234 x 20

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Young Offenders and Open Custody Tove Pettersson / Knjiga Tvrdi uvez
common.buy 235.03 €
DESERT HAMSTER AS PETS JOHN W. LIN / Knjiga Meki uvez
common.buy 11.73 €
Practical Arduino Engineering Harold Timmis / E-knjiga Adobe ePub DRM
common.buy 83.56 €
Taking Your Library Career to the Next Level Holly Hibner / E-knjiga Adobe ePub DRM
common.buy 67.17 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Knjiga Meki uvez
common.buy 6.77 €
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Knjiga Meki uvez
common.buy 22.05 €
Understanding SALVATION in Plain English Gary Crandall / Knjiga Meki uvez
common.buy 12.13 €
Novissima Bernhard O´Reilly / Knjiga Meki uvez
common.buy 24.17 €
Tech Talk Intermediate: Workbook Vicki Hollett / Knjiga Meki uvez
common.buy 51.08 €
The Book of Stupid Questions Tom Weller / Knjiga Meki uvez
common.buy 17.19 €
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 Meki uvez
common.buy 17.19 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Knjiga Meki uvez
common.buy 154.39 €
Global Change, Regional Response Barbara Stallings / Knjiga Meki uvez
common.buy 57.76 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Knjiga Meki uvez
common.buy 161.07 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Knjiga Tvrdi uvez
common.buy 9.20 €
France and the Holy Land Daniel H. Weiss / Knjiga Tvrdi uvez
common.buy 64.44 €
Interrupted Time Series Analysis David McDowall / Knjiga Meki uvez
common.buy 26.09 €
See You In Court Thomas Geoghegan / Knjiga Meki uvez
common.buy 15.37 €
Confidentiality and Mental Health Christopher Cordess / Knjiga Tvrdi uvez
common.buy 80.63 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Knjiga Meki uvez
common.buy 102.99 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?