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 € GLS courier 4.99 €
phone Contact phoneHow to shop

Abstraction Refinement for Large Scale Model Checking

Language EnglishEnglish
Book Paperback
Book Abstraction Refinement for Large Scale Model Checking Fabio Somenzi
Libristo code: 09165444
Publishers Springer-Verlag New York Inc., December 2014
This book summarizes recent research on abstraction techniques for model checking large digital syst... Full description
? points 323 b
131.79 € VAT included
In stock at our supplier Shipping in 10-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Book Paperback
common.buy 42.21 €
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Book Paperback
common.buy 11.39 €
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiobook MP3
common.buy 7.59 €
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Book Paperback
common.buy 9.09 €
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Book Paperback
common.buy 8.89 €
Saxophon ab 130 Matthias Böyer / Book Paperback
common.buy 24.90 €
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Book Hardback
common.buy 7.99 €
Grandes escaladas BONINGTON / Book Paperback
common.buy 15.29 €
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Book Paperback
common.buy 12.49 €
Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif / Book Paperback
common.buy 10.59 €

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.§

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 Abstraction Refinement for Large Scale Model Checking
Author Fabio Somenzi
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 179
EAN 9781489993953
ISBN 9781489993953
Libristo code 09165444
Publishers Springer-Verlag New York Inc.
Weight 257
Dimensions 210 x 2 x 11

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Technology, Engineering, Agriculture > Technology: general issues > Engineering: general
Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
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

Schedule-Based Dynamic Transit Modeling Nigel H. Wilson / Book Hardback
common.buy 118.29 €
Decolonising Multilingualism Alison Phipps / Book Hardback
common.buy 56.29 €
Spanish Golden Age Drama Szilvia E. Szmuk / Book Hardback
common.buy 43.09 €
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Book Paperback
common.buy 12.29 €
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Book Paperback
common.buy 16.39 €
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Book Paperback
common.buy 12.59 €
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Book Paperback
common.buy 12.29 €
The Long Walk: The Verge Walker Book 1 Ben Reeder / Book Paperback
common.buy 10.69 €
Becoming Peace Kamra Smith / Book Paperback
common.buy 18.09 €
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Book Paperback
common.buy 10.69 €
Birth of a Nation D.W. Griffith / Video Blu-ray
common.buy 31.49 €
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Book Hardback
common.buy 17.39 €
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Book Hardback
common.buy 224.29 €
Lore Craig Saunders / Book Paperback
common.buy 11.69 €
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Book Paperback
common.buy 15.39 €
My Begging Chart Roberts / Book Paperback
common.buy 16.99 €
Tetherball Jessica Coupé / Book Paperback
common.buy 14.49 €
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Book Hardback
common.buy 136.49 €
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Book Paperback
common.buy 21.19 €
Playing Piano Chords, Part II Tijs Krammer / Book Paperback
common.buy 27.89 €
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Book Paperback
common.buy 20.49 €
Water Dragons & Other Rare Aquatic Creatures Jessica C Feinberg / Book Hardback
common.buy 23.89 €
Earth Surface Processes P A Allen / Book Paperback
common.buy 125.99 €
Emma Jane Austen / Book Hardback
common.buy 33.99 €

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?