Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Advanced Formal Verification

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Advanced Formal Verification Rolf Drechsler
Libristo-code: 05256403
Uitgeverij Springer-Verlag New York Inc., januari 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Volledige beschrijving
? points 249 b
102.67 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Boek Gebonden (paperback)
common.buy 21.37 €
Existenzweisen Bruno Latour / Boek Gebonden (paperback)
common.buy 22.38 €
Geschichte der Antike Hans-Joachim Gehrke / Boek Gebonden (harde band)
common.buy 33.07 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Boek Gebonden (paperback)
common.buy 8.97 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Boek Gebonden (paperback)
common.buy 25.00 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Boek Gebonden (paperback)
common.buy 20.36 €
Inner Symphonies Hania Rani / Audio Audio cd
common.buy 24.10 €
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Boek Gebonden (paperback)
common.buy 13.61 €
Dieta Paleo: Libro de Recetas de la Dieta Paleo Howard Benson / E-book Adobe ePub DRM
common.buy 2.81 €
Běsi Fjodor Michajlovič Dostojevskij / Boek Gebonden (harde band)
common.buy 20.47 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Advanced Formal Verification
Auteur Rolf Drechsler
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2004
Aantal pagina's 250
EAN 9781402077210
ISBN 1402077211
Libristo-code 05256403
Uitgeverij Springer-Verlag New York Inc.
Gewicht 1260
Afmetingen 156 x 234 x 20

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeringstechnieken
Filosofie en religie > Filosofie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Young Offenders and Open Custody Tove Pettersson / Boek Gebonden (harde band)
common.buy 243.68 €
DESERT HAMSTER AS PETS JOHN W. LIN / Boek Gebonden (paperback)
common.buy 11.69 €
Practical Arduino Engineering Harold Timmis / E-book Adobe ePub DRM
common.buy 87.54 €
Taking Your Library Career to the Next Level Holly Hibner / E-book Adobe ePub DRM
common.buy 70.09 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Boek Gebonden (paperback)
common.buy 6.75 €
In the Exchequer of Pleas. Penhallow & Others Versus the Mersey Docks & Harbour Board. (Tried at Westminster, December 5th to 9th, 1859.) Wilde / Boek Gebonden (paperback)
common.buy 21.98 €
Understanding SALVATION in Plain English Gary Crandall / Boek Gebonden (paperback)
common.buy 12.09 €
Novissima Bernhard O´Reilly / Boek Gebonden (paperback)
common.buy 24.10 €
Tech Talk Intermediate: Workbook Vicki Hollett / Boek Gebonden (paperback)
common.buy 53.25 €
The Book of Stupid Questions Tom Weller / Boek Gebonden (paperback)
common.buy 17.14 €
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 / Boek Gebonden (paperback)
common.buy 17.14 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Boek Gebonden (paperback)
common.buy 153.91 €
Global Change, Regional Response Barbara Stallings / Boek Gebonden (paperback)
common.buy 60.41 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Boek Gebonden (paperback)
common.buy 160.57 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Boek Gebonden (harde band)
common.buy 9.17 €
France and the Holy Land Daniel H. Weiss / Boek Gebonden (harde band)
common.buy 64.24 €
Interrupted Time Series Analysis David McDowall / Boek Gebonden (paperback)
common.buy 27.53 €
See You In Court Thomas Geoghegan / Boek Gebonden (paperback)
common.buy 14.82 €
Confidentiality and Mental Health Christopher Cordess / Boek Gebonden (harde band)
common.buy 80.38 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Boek Gebonden (paperback)
common.buy 102.67 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?