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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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 290 b
118.29 € VAT included
Low in stock at our supplier Shipping in 11-15 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Geschichte der Antike Hans-Joachim Gehrke / Book Hardback
common.buy 38.89 €
Top
Běsi Fjodor Michajlovič Dostojevskij / Book Hardback
common.buy 20.29 €
Il Contratto preliminare di compravendita "ad effetti anticipati" Natasha Minervino / Book Paperback
common.buy 25.89 €
Planter des haies de biodiversité - Mellifères, fruitières, pourvoyeuses, climatiques, défensives... Farinelli / Book Paperback
common.buy 21.29 €
Milan Kundera, une vie d'écrivain Jean-Dominique Brierre / Book Paperback
common.buy 25.99 €
Akkorde für Bariton-Ukulele (G-Stimmung) Laurin Glück / Book Paperback
common.buy 9.80 €
Existenzweisen Bruno Latour / Book Paperback
common.buy 25.00 €
L'Invasion Sicilienne Et Le Peuplement Francais de la Tunisie: Conference Faite, En Mars Et Avril Saurin-J / Book Paperback
common.buy 14.19 €

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 242.59 €
DESERT HAMSTER AS PETS JOHN W. LIN / Book Paperback
common.buy 12.19 €
Practical Arduino Engineering Harold Timmis / E-book Adobe ePub DRM
common.buy 89.99 €
Taking Your Library Career to the Next Level Holly Hibner / E-book Adobe ePub DRM
common.buy 71.69 €
How to get a great English Degree: A guide for undergraduates MR Francis Jonathan Gilbert / Book Paperback
common.buy 6.99 €
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.79 €
Understanding SALVATION in Plain English Gary Crandall / Book Paperback
common.buy 12.69 €
Novissima Bernhard O´Reilly / Book Paperback
common.buy 36.39 €
Global Change, Regional Response Barbara Stallings / Book Paperback
common.buy 62.79 €
The Book of Stupid Questions Tom Weller / Book Paperback
common.buy 17.89 €
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.89 €
Principles of Wood Science and Technology Franz F.P. Kollmann / Book Paperback
common.buy 191.99 €
Intelligent Information Processing and Web Mining Mieczyslaw A. Klopotek / Book Paperback
common.buy 181.49 €
Coming soon
Confidentiality and Mental Health Christopher Cordess / Book Hardback
common.buy 87.29 €
Interrupted Time Series Analysis David McDowall / Book Paperback
common.buy 28.49 €
France and the Holy Land Daniel H. Weiss / Book Hardback
common.buy 66.39 €
Finite Element Analysis for Engineering Design C. S. Krishnamoorthy / Book Paperback
common.buy 118.29 €
House on the Cliff (Book 2): Hardy Boys Franklin W Dixon / Book Hardback
common.buy 9.59 €

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?