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
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Advanced Formal Verification

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Advanced Formal Verification Rolf Drechsler
Libristo kod: 06794578
Nakladnici Springer-Verlag New York Inc., prosinac 2010
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Cijeli opis
? points 249 b
102.97 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Újra veled álmodom Tomor Anita / Knjiga Tvrdi uvez
common.buy 13.75 €
Obraz Doriana Graye Oscar Wilde / Knjiga Tvrdi uvez
common.buy 9.20 €
eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen / Knjiga Meki uvez
common.buy 17.09 €
20 kompakte Lesetests für Klasse 2 Anne Scheller / Knjiga List
common.buy 23.76 €
Pripremamo
Wien Oliver Rathkolb / Knjiga Meki uvez
common.buy 10.31 €
HASTA QUE LA BODA NOS SEPARE SOSA / Knjiga Meki uvez
common.buy 26.90 €
artgerecht - Das andere Schulkinder-Buch Claudia Meitert / Knjiga Tvrdi uvez
common.buy 19.11 €
Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera / Knjiga Meki uvez
common.buy 39.24 €
Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka / Knjiga Meki uvez
common.buy 6.67 €
Chat GPT Welches KI Modell passt zu dir? Alena Kerbel / Knjiga List
common.buy 12.43 €
I 13 Lignaggi Satanici - Spianare la strada per l'inferno: La causa di molte disgrazie umane La fine del nostro diritto individuale all'autodeterminaz Robin De Ruiter / Knjiga Meki uvez
common.buy 19.31 €
Minecraft. Wioska Brooks Max / Knjiga Meki uvez
common.buy 9.20 €
L'Invitation - Une nouvelle erotique Lind / Audio knjiga MP3
common.buy 3.73 €
Fényből és sárból - Böjte Csaba élete Csender Levente / Knjiga Tvrdi uvez
common.buy 14.86 €
Comprendre et guider le jeune enfant - à la maison, à la garderie Bourcier Knjiga Meki uvez
common.buy 13.75 €
Seuls 10/La machine a demourir Vehlmann Fabien / Knjiga Tvrdi uvez
common.buy 17.09 €
La magie de Saint-Pétersbourg Vladimir Fedorovski / Knjiga Meki uvez
common.buy 31.25 €
Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C / Knjiga Meki uvez
common.buy 32.16 €
Europa H. A. Daniel / Knjiga Meki uvez
common.buy 21.44 €
Najdi mě André Aciman / Knjiga Tvrdi uvez
common.buy 10.11 €
Meine wilde Schönheit Martina Stubenschrott / Knjiga Tvrdi uvez
common.buy 20.63 €
Aus der Geschichte der Logopädie Alexandra Thiele / Knjiga Meki uvez
common.buy 47.43 €
The Breed Is Funkin' Peter Weniger / Tiskanica Note
common.buy 34.18 €
Pripremamo
VIBRATORIUM Tom Kenyon / Audio Audio CD
common.buy 16.78 €

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 - Meki uvez
Datum izdanja 2010
Broj stranica 250
EAN 9781441954206
ISBN 1441954201
Libristo kod 06794578
Nakladnici Springer-Verlag New York Inc.
Težina 860
Dimenzije 155 x 235 x 16

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 science > Artificial intelligence
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

Altering Nature B. A. Lustig / Knjiga Knjiga
common.buy 161.23 €
Mrs. Jeffries and the Best Laid Plans Emily Brightwell / Knjiga Meki uvez
common.buy 8.39 €
With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack / Audio Audio CD
common.buy 77.27 €
Journey to Healing & Cherry Popsicles Too Kyle Duvall / Knjiga Meki uvez
common.buy 20.83 €
Inside Out W Atkins / Knjiga Meki uvez
common.buy 6.77 €
Paediatric Dentistry Richard Welbury / Knjiga Meki uvez
common.buy 90.12 €
History of Landholding in England Joseph Fisher / Knjiga Meki uvez
common.buy 11.72 €
Harold the Bionic Hamster Philip Watson / Knjiga Meki uvez
common.buy 12.13 €
Photo-catalytic Control Technologies of Flue Gas Pollutants Jiang Wu / Knjiga Tvrdi uvez
common.buy 102.97 €
Dancing Through the Storm Felicia Allen / Knjiga Meki uvez
common.buy 9.40 €
Meet the Fernan Friends Tom Hagen / Knjiga Meki uvez
common.buy 10.31 €
Pripremamo
111 Places in London That You Shouldn't Miss John Sykes / Knjiga Meki uvez
common.buy 15.77 €
One Punk Summer Skip Rhudy / Knjiga Meki uvez
common.buy 10.31 €
Andrew Lang, a Critical Biography With a Short-title Bibliography of the Works of Andrew Lang Roger Lancelyn Green / Knjiga Meki uvez
common.buy 23.05 €
Healthy Environments, Healing Spaces Timothy Beatley / E-knjiga Adobe ePub DRM
common.buy 46.32 €
Teacher Believed in Me David K. Hatch / Audio knjiga MP3
common.buy 24.77 €
Who Killed Bruce Lee (Kung-Fu Monthly Archive Series) 2025 Re-issue Mono Edition Carl Fox / Knjiga Meki uvez
common.buy 25.08 €
Archangel 1918-1919 Anon / Knjiga Tvrdi uvez
common.buy 41.57 €
Conversations with Frank Gehry Barbara Isenberg / Knjiga Tvrdi uvez
common.buy 54.51 €
Restoring Integrity in Baptist Churches Thomas White / Knjiga Meki uvez
common.buy 20.93 €
Service quality and customer satisfaction Tarisai Fritz Rukuni / Knjiga Meki uvez
common.buy 48.95 €
Two Cultures of Rights Manfred Berg / Knjiga Tvrdi uvez
common.buy 58.05 €
Electrochemical Technology Applied in Treatment of Wastewater & Ground Water Chao Zhao / Knjiga Meki uvez
common.buy 61.80 €
Noritake Fancywares A to Z: A Pictorial Record and Guide to Values David Spain / Knjiga Tvrdi uvez
common.buy 42.37 €

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?