Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Advanced Formal Verification

Język AngielskiAngielski
Książka Miękka
Książka Advanced Formal Verification Rolf Drechsler
Kod Libristo: 06794578
Wydawnictwo Springer-Verlag New York Inc., grudzień 2010
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Cały opis
? points 249 b
437.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Újra veled álmodom Tomor Anita / Książka Twarda
common.buy 61.77 zł
Obraz Doriana Graye Oscar Wilde / Książka Twarda
common.buy 42.15 zł
eCommerce und Kundenzufriedenheit Jan-Thomas Nielsen / Książka Miękka
common.buy 72.73 zł
20 kompakte Lesetests für Klasse 2 Anne Scheller / Książka Karta
common.buy 101.01 zł
Zapowiedź
Wien Oliver Rathkolb / Książka Miękka
common.buy 46.17 zł
HASTA QUE LA BODA NOS SEPARE SOSA / Książka Miękka
common.buy 118.92 zł
artgerecht - Das andere Schulkinder-Buch Claudia Meitert / Książka Twarda
common.buy 81.09 zł
Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera / Książka Miękka
common.buy 166.61 zł
Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka / Książka Miękka
common.buy 24.54 zł
Chat GPT Welches KI Modell passt zu dir? Alena Kerbel / Książka Karta
common.buy 55.63 zł
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 / Książka Miękka
common.buy 82.19 zł
Minecraft. Wioska Brooks Max / Książka Miękka
common.buy 36.92 zł
L'Invitation - Une nouvelle erotique Lind / Audiobook MP3
common.buy 16.89 zł
Fényből és sárból - Böjte Csaba élete Csender Levente / Książka Twarda
common.buy 67.10 zł
Comprendre et guider le jeune enfant - à la maison, à la garderie Bourcier Książka Miękka
common.buy 60.56 zł
Seuls 10/La machine a demourir Vehlmann Fabien / Książka Twarda
common.buy 75.35 zł
La magie de Saint-Pétersbourg Vladimir Fedorovski / Książka Miękka
common.buy 138.54 zł
Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C / Książka Miękka
common.buy 136.83 zł
Europa H. A. Daniel / Książka Miękka
common.buy 96.78 zł
Najdi mě André Aciman / Książka Twarda
common.buy 42.85 zł
Meine wilde Schönheit Martina Stubenschrott / Książka Twarda
common.buy 87.83 zł
Aus der Geschichte der Logopädie Alexandra Thiele / Książka Miękka
common.buy 212.29 zł
The Breed Is Funkin' Peter Weniger / Prasa Nuty
common.buy 151.52 zł
Zapowiedź
VIBRATORIUM Tom Kenyon / Audio CD Audio
common.buy 71.33 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Advanced Formal Verification
Autor Rolf Drechsler
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 250
EAN 9781441954206
ISBN 1441954201
Kod Libristo 06794578
Wydawnictwo Springer-Verlag New York Inc.
Waga 860
Wymiary 155 x 235 x 16

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Technika, inżynieria i rolnictwo, procesy przemysłowe > Energetyka i inżynieria energetyczna > Inżynieria elektryczna
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Filozofia i religia > Filozofia
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Altering Nature B. A. Lustig / Książka Książka
common.buy 720.89 zł
Mrs. Jeffries and the Best Laid Plans Emily Brightwell / Książka Miękka
common.buy 35.81 zł
With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack / Audio CD Audio
common.buy 328.19 zł
Journey to Healing & Cherry Popsicles Too Kyle Duvall / Książka Miękka
common.buy 88.53 zł
Inside Out W Atkins / Książka Miękka
common.buy 28.67 zł
Paediatric Dentistry Richard Welbury / Książka Miękka
common.buy 402.55 zł
History of Landholding in England Joseph Fisher / Książka Miękka
common.buy 49.69 zł
Harold the Bionic Hamster Philip Watson / Książka Miękka
common.buy 51.61 zł
Photo-catalytic Control Technologies of Flue Gas Pollutants Jiang Wu / Książka Twarda
common.buy 437.66 zł
Dancing Through the Storm Felicia Allen / Książka Miękka
common.buy 40.04 zł
Meet the Fernan Friends Tom Hagen / Książka Miękka
common.buy 43.86 zł
Zapowiedź
111 Places in London That You Shouldn't Miss John Sykes / Książka Miękka
common.buy 67.30 zł
One Punk Summer Skip Rhudy / Książka Miękka
common.buy 43.86 zł
Andrew Lang, a Critical Biography With a Short-title Bibliography of the Works of Andrew Lang Roger Lancelyn Green / Książka Miękka
common.buy 98.19 zł
Healthy Environments, Healing Spaces Timothy Beatley / E-book Adobe ePub DRM
common.buy 208.06 zł
Teacher Believed in Me David K. Hatch / Audiobook MP3
common.buy 111.37 zł
Who Killed Bruce Lee (Kung-Fu Monthly Archive Series) 2025 Re-issue Mono Edition Carl Fox / Książka Miękka
common.buy 106.64 zł
Archangel 1918-1919 Anon / Książka Twarda
common.buy 167.72 zł
Conversations with Frank Gehry Barbara Isenberg / Książka Twarda
common.buy 242.17 zł
Restoring Integrity in Baptist Churches Thomas White / Książka Miękka
common.buy 89.03 zł
Service quality and customer satisfaction Tarisai Fritz Rukuni / Książka Miękka
common.buy 208.06 zł
Two Cultures of Rights Manfred Berg / Książka Twarda
common.buy 246.60 zł
Electrochemical Technology Applied in Treatment of Wastewater & Ground Water Chao Zhao / Książka Miękka
common.buy 262.59 zł
Noritake Fancywares A to Z: A Pictorial Record and Guide to Values David Spain / Książka Twarda
common.buy 191.96 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?