Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Advanced Formal Verification

Language EnglishEnglish
Book Hardback
Book Advanced Formal Verification Rolf Drechsler
Libristo code: 05256403
Publishers Springer-Verlag New York Inc., January 2004
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Full description
? points 249 b
102.97 €
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Book Paperback
common.buy 21.44 €
Existenzweisen Bruno Latour / Book Paperback
common.buy 25.79 €
Geschichte der Antike Hans-Joachim Gehrke / Book Hardback
common.buy 33.17 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Book Paperback
common.buy 8.99 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Book Paperback
common.buy 25.28 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Book Paperback
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 / Book Paperback
common.buy 13.65 €
Dieta Paleo: Libro de Recetas de la Dieta Paleo Howard Benson / E-book Adobe ePub DRM
common.buy 2.82 €
Top
Běsi Fjodor Michajlovič Dostojevskij / Book Hardback
common.buy 20.52 €

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Advanced Formal Verification
Author Rolf Drechsler
Language English
Binding Book - Hardback
Date of issue 2004
Number of pages 250
EAN 9781402077210
ISBN 1402077211
Libristo code 05256403
Publishers Springer-Verlag New York Inc.
Weight 1260
Dimensions 156 x 234 x 20

Categories

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 programming / software engineering > Programming techniques
Philosophy & Religion > Philosophy
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

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

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?