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
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Advanced Formal Verification

Language EnglishEnglish
Book Paperback
Book Advanced Formal Verification Rolf Drechsler
Libristo code: 06794578
Publishers Springer-Verlag New York Inc., December 2010
Advanced Formal Verification shows the latest developments in the verification domain from the persp... Full description
? points 263 b
108.56 €
212.32  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Újra veled álmodom Tomor Anita / Book Hardback
common.buy 15.41 € 30.13 лв
Coming soon
Wien Oliver Rathkolb / Book Paperback
common.buy 11.22 € 21.94 лв
Eficacia civil de las resoluciones canónicas de nulidad matrimonial MIGUEL ANGEL RODRIGUEZ VACELAR / Book Paperback
common.buy 59.63 € 116.63 лв
20 kompakte Lesetests für Klasse 2 Anne Scheller / Book Sheet
common.buy 25.03 € 48.95 лв
Zeszyt do nut A5 16 kartek 10 sztuk mix / Stationery items Stationery items
common.buy 5.84 € 11.42 лв
Wielka Przygoda. Szkoła podstawowa klasa 3 część 2. Podręcznik. Matematyka. Nowa edycja 2025-2027 Krystyna Sawicka / Book Paperback
common.buy 7.70 € 15.06 лв
Chat GPT Welches KI Modell passt zu dir? Alena Kerbel / Book Sheet
common.buy 13.60 € 26.59 лв
HASTA QUE LA BODA NOS SEPARE SOSA / Book Paperback
common.buy 28.96 € 56.64 лв
artgerecht - Das andere Schulkinder-Buch Claudia Meitert / Book Hardback
common.buy 20.27 € 39.64 лв
Schizofrenia: Teoria della Mente e Comunicazione Pragmatica Martina Barbera / Book Paperback
common.buy 41.48 € 81.12 лв
Harahara Sensei - Die tickende Zeitbombe 02 Yanagi Takakuchi / Book Paperback
common.buy 8.43 € 16.48 лв
Obraz Doriana Graye Oscar Wilde / Book Hardback
common.buy 10.60 € 20.73 лв
Top
Fényből és sárból - Böjte Csaba élete Csender Levente / Book Hardback
common.buy 23.58 € 46.12 лв
L'Invitation - Une nouvelle erotique Lind / Audiobook MP3
common.buy 4.24 € 8.28 лв
Aus der Geschichte der Logopädie Alexandra Thiele / Book Paperback
common.buy 52.34 € 102.36 лв
Historia, novela y tragedia Carlos García Gual / Book Paperback
common.buy 15.77 € 30.84 лв
Coming soon
VIBRATORIUM Tom Kenyon / Audio Audio CD
common.buy 17.84 € 34.89 лв
Filon de Gerard: Les Chercheurs d'Or de l'Afrique Australe Andre Laurie / Book Paperback
common.buy 26.68 € 52.19 лв
The Breed Is Funkin' Peter Weniger / Printed items Sheet music
common.buy 36.87 € 72.12 лв
Le Serapeon, Episode de l'Histoire Du Ive Siecle Brasseur De Bourbourg-E-C / Book Paperback
common.buy 30.72 € 60.08 лв
Kultursensible Gesundheitsversorgung Brigitte Link / Book Paperback
common.buy 52.34 € 102.36 лв
Turismo e Desenvolvimento em Moreno - PE Robson Nascimento da Mota / Book Paperback
common.buy 47.11 € 92.15 лв
Meine wilde Schönheit Martina Stubenschrott / Book Hardback
common.buy 21.87 € 42.78 лв
Najdi mě André Aciman / Book Hardback
common.buy 10.39 € 20.32 лв

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 - Paperback
Date of issue 2010
Number of pages 250
EAN 9781441954206
ISBN 1441954201
Libristo code 06794578
Publishers Springer-Verlag New York Inc.
Weight 860
Dimensions 155 x 235 x 16

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 science > Artificial intelligence
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

Altering Nature B. A. Lustig / Book Book
common.buy 177.76 € 347.67 лв
Journey to Healing & Cherry Popsicles Too Kyle Duvall / Book Paperback
common.buy 20.84 € 40.76 лв
With Her Songs: The Atlantic Albums, 1969-1978 Roberta Flack / Audio Audio CD
common.buy 80.94 € 158.30 лв
LIFE THAT WOKE ME UP WAS MY OW Nancy Swisher / Book Paperback
common.buy 16.60 € 32.46 лв
Inside Out W Atkins / Book Paperback
common.buy 6.72 € 13.14 лв
Everlasting Arms Dorita Lynn Kornelsen / Book Paperback
common.buy 6.46 € 12.63 лв
Paediatric Dentistry Richard Welbury / Book Paperback
common.buy 99.51 € 194.62 лв
History of Landholding in England Joseph Fisher / Book Paperback
common.buy 12.41 € 24.27 лв
Harold the Bionic Hamster Philip Watson / Book Paperback
common.buy 12.15 € 23.76 лв
Photo-catalytic Control Technologies of Flue Gas Pollutants Jiang Wu / Book Hardback
common.buy 108.56 € 212.32 лв
Dancing Through the Storm Felicia Allen / Book Paperback
common.buy 9.41 € 18.40 лв
Great Atlas of Iran & the World 1:4 500 000 Glenn Riedel / Book Paperback
common.buy 78.82 € 154.16 лв
The Most Iconic People's Names Begin with C Madrats Ent / Book Paperback
common.buy 9.41 € 18.40 лв
Guilty Greg Zemlansky / Book Paperback
common.buy 10.29 € 20.12 лв
Italy, Handbook for Travellers: Northern Italy, Including Leghorn, Florence, Ravenna, the Island of Corsica, and Routes Through France, Switzerland, a Karl Baedeker (Firm) / Book Paperback
common.buy 30.72 € 60.08 лв
Meet the Fernan Friends Tom Hagen / Book Paperback
common.buy 10.34 € 20.22 лв
Coming soon
111 Places in London That You Shouldn't Miss John Sykes / Book Paperback
common.buy 16.65 € 32.56 лв
One Punk Summer Skip Rhudy / Book Paperback
common.buy 10.34 € 20.22 лв
Andrew Lang, a Critical Biography With a Short-title Bibliography of the Works of Andrew Lang Roger Lancelyn Green / Book Paperback
common.buy 23.11 € 45.21 лв
Healthy Environments, Healing Spaces Timothy Beatley / E-book Adobe ePub DRM
common.buy 51.87 € 101.45 лв
The Lion King's Feast Sibylle von Olfers / Book Hardback
common.buy 17.99 € 35.19 лв
Ion vs. Isotope | Understanding Ions, Isotopes and Properties of Elements | Grade 6-8 Physical Science Dot EDU / Book Hardback
common.buy 26.06 € 50.97 лв
Giant Parsnip Soup Daniela Sosa / Book Hardback
common.buy 14.79 € 28.92 лв
Teacher Believed in Me David K. Hatch / Audiobook MP3
common.buy 27.72 € 54.21 лв

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