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 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 €
Pripremamo
Wien Oliver Rathkolb / Knjiga Meki uvez
common.buy 10.11 €
Eficacia civil de las resoluciones canónicas de nulidad matrimonial MIGUEL ANGEL RODRIGUEZ VACELAR / Knjiga Meki uvez
common.buy 54.51 €
20 kompakte Lesetests für Klasse 2 Anne Scheller / Knjiga List
common.buy 23.76 €
Zeszyt do nut A5 16 kartek 10 sztuk mix / Proizvodi od papira Proizvodi od papira
common.buy 5.25 €
Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka / Knjiga Meki uvez
common.buy 7.07 €
Chat GPT Welches KI Modell passt zu dir? Alena Kerbel / Knjiga List
common.buy 12.13 €
HASTA QUE LA BODA NOS SEPARE SOSA / Knjiga Meki uvez
common.buy 26.80 €
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 €
Harahara Sensei - Die tickende Zeitbombe 02 Yanagi Takakuchi / Knjiga Meki uvez
common.buy 7.98 €
Obraz Doriana Graye Oscar Wilde / Knjiga Tvrdi uvez
common.buy 9.20 €
Top
Fényből és sárból - Böjte Csaba élete Csender Levente / Knjiga Tvrdi uvez
common.buy 21.74 €
L'Invitation - Une nouvelle erotique Lind / Audio knjiga MP3
common.buy 3.83 €
Aus der Geschichte der Logopädie Alexandra Thiele / Knjiga Meki uvez
common.buy 47.13 €
Historia, novela y tragedia Carlos García Gual / Knjiga Meki uvez
common.buy 14.25 €
Pripremamo
VIBRATORIUM Tom Kenyon / Audio Audio CD
common.buy 16.78 €
Filon de Gerard: Les Chercheurs d'Or de l'Afrique Australe Andre Laurie / Knjiga Meki uvez
common.buy 25.38 €
The Breed Is Funkin' Peter Weniger / Tiskanica Note
common.buy 33.78 €
Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C / Knjiga Meki uvez
common.buy 29.22 €
Kultursensible Gesundheitsversorgung Brigitte Link / Knjiga Meki uvez
common.buy 47.13 €
Turismo e Desenvolvimento em Moreno - PE Robson Nascimento da Mota / Knjiga Meki uvez
common.buy 44.50 €
Meine wilde Schönheit Martina Stubenschrott / Knjiga Tvrdi uvez
common.buy 20.63 €
Najdi mě André Aciman / Knjiga Tvrdi uvez
common.buy 9.70 €

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.03 €
Journey to Healing & Cherry Popsicles Too Kyle Duvall / Knjiga Meki uvez
common.buy 20.83 €
With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack / Audio Audio CD
common.buy 77.27 €
LIFE THAT WOKE ME UP WAS MY OW Nancy Swisher / Knjiga Meki uvez
common.buy 16.58 €
Inside Out W Atkins / Knjiga Meki uvez
common.buy 6.77 €
Everlasting Arms Dorita Lynn Kornelsen / Knjiga Meki uvez
common.buy 6.46 €
Paediatric Dentistry Richard Welbury / Knjiga Meki uvez
common.buy 90.02 €
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 €
Great Atlas of Iran & the World 1:4 500 000 Glenn Riedel / Knjiga Meki uvez
common.buy 70.90 €
The Most Iconic People's Names Begin with C Madrats Ent / Knjiga Meki uvez
common.buy 9.40 €
Guilty Greg Zemlansky / Knjiga Meki uvez
common.buy 10.31 €
Italy, Handbook for Travellers: Northern Italy, Including Leghorn, Florence, Ravenna, the Island of Corsica, and Routes Through France, Switzerland, a Karl Baedeker (Firm) / Knjiga Meki uvez
common.buy 30.74 €
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.72 €
The Lion King's Feast Sibylle von Olfers / Knjiga Tvrdi uvez
common.buy 18.00 €
Ion vs. Isotope | Understanding Ions, Isotopes and Properties of Elements | Grade 6-8 Physical Science Dot EDU / Knjiga Tvrdi uvez
common.buy 26.09 €
Giant Parsnip Soup Daniela Sosa / Knjiga Tvrdi uvez
common.buy 13.85 €
Teacher Believed in Me David K. Hatch / Audio knjiga MP3
common.buy 24.98 €

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