Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Advanced Formal Verification

Sprache EnglischEnglisch
Buch Hardcover
Buch Advanced Formal Verification Rolf Drechsler
Libristo-Code: 05256403
Verlag Springer-Verlag New York Inc., Januar 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Vollständige Beschreibung
? points 249 b
102.97 €
Externes Lager Wir versenden in 10-13 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Buch Broschur
common.buy 21.44 €
Existenzweisen Bruno Latour / Buch Broschur
common.buy 25.79 €
Geschichte der Antike Hans-Joachim Gehrke / Buch Hardcover
common.buy 33.17 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Buch Broschur
common.buy 8.99 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Buch Broschur
common.buy 25.28 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Buch Broschur
common.buy 20.63 €
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 / Buch Broschur
common.buy 14.35 €
Top
Běsi Fjodor Michajlovič Dostojevskij / Buch Hardcover
common.buy 21.84 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Advanced Formal Verification
Autor Rolf Drechsler
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2004
Anzahl der Seiten 250
EAN 9781402077210
ISBN 1402077211
Libristo-Code 05256403
Verlag Springer-Verlag New York Inc.
Gewicht 1260
Abmessungen 156 x 234 x 20

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik
EDV und Informationstechnologie > Grafische und digitale Media-Anwendungen > Computer-Aided Design (CAD)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken
Philosophie und Religion > Philosophie
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Young Offenders and Open Custody Tove Pettersson / Buch Hardcover
common.buy 245.40 €
DESERT HAMSTER AS PETS JOHN W. LIN / Buch Broschur
common.buy 12.33 €
Practical Arduino Engineering Harold Timmis / E-Book Adobe ePub DRM
common.buy 86.68 €
Taking Your Library Career to the Next Level Holly Hibner / E-Book Adobe ePub DRM
common.buy 69.38 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Buch Broschur
common.buy 7.07 €
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Buch Broschur
common.buy 23.05 €
Understanding SALVATION in Plain English Gary Crandall / Buch Broschur
common.buy 12.84 €
Novissima Bernhard O´Reilly / Buch Broschur
common.buy 24.17 €
Tech Talk Intermediate: Workbook Vicki Hollett / Buch Broschur
common.buy 29.02 €
The Book of Stupid Questions Tom Weller / Buch Broschur
common.buy 18.10 €
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 / Buch Broschur
common.buy 18.10 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Buch Broschur
common.buy 154.36 €
Global Change, Regional Response Barbara Stallings / Buch Broschur
common.buy 63.52 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Buch Broschur
common.buy 161.03 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Buch Hardcover
common.buy 9.70 €
France and the Holy Land Daniel H. Weiss / Buch Hardcover
common.buy 67.16 €
Interrupted Time Series Analysis David McDowall / Buch Broschur
common.buy 27.30 €
See You In Court Thomas Geoghegan / Buch Broschur
common.buy 20.42 €
Demnächst
Confidentiality and Mental Health Christopher Cordess / Buch Hardcover
common.buy 84.05 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Buch Broschur
common.buy 102.97 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?