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

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 273 b
111.85 €
218.75  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Book of Ra, Sizzling Hot, Dolphins Pearl Herold zu Moschdehner / Book Paperback
common.buy 39.48 € 77.22 лв
La serie du zodiaque: nouvelles erotiques sous le signe du Scorpion Sodergran / Audiobook MP3
common.buy 7.78 € 15.22 лв
La princesse sans reflet Peyrard / Book Hardback
common.buy 27.24 € 53.28 лв
A spasso tra i ricordi: Profumi e riti di casa di nonna Annalisa Daga / Book Paperback
common.buy 11.16 € 21.83 лв
Top
Nagy rejtvénykönyv 11. Kresz Károly (Szerk.) / Book Paperback
common.buy 9.47 € 18.52 лв
Potenciar: Como enriquecer tu mente PARA HALLAR SOLUCIONES Pablo Rivera P / Book Paperback
common.buy 8.65 € 16.92 лв
Saxophon ab 130 Matthias Böyer / Book Paperback
common.buy 24.73 € 48.37 лв
Benim Ilk Hikayelerim - Ormanin Kitabi Kolektif / Book Paperback
common.buy 10.08 € 19.72 лв
SOÑANDO EN LA MAR AMARGA FEDERICO GARCIA LORCA / Book Hardback
common.buy 7.78 € 15.22 лв
Hag: The Best of Merle Haggard Johnny Cash Audio Audio CD
common.buy 9.26 € 18.12 лв
Grandes escaladas BONINGTON / Book Paperback
common.buy 17.77 € 34.75 лв
Els plats dolços del cardenal Despuig Antonio Contreras Mas / Book Paperback
common.buy 14.18 € 27.74 лв

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 101.96 € 199.42 лв
Routledge Revivals: The Violence of Language (1990) Jean-Jacques Lecercle / Book Hardback
common.buy 237.32 € 464.16 лв
ALPHA FLIGHT MANTLO & LEE OMNI MANTLO BILL / Book Hardback
common.buy 116.30 € 227.47 лв
Narrative of a Convict in the Preston House of Correction JOHN CLAY / Book Paperback
common.buy 12.08 € 23.63 лв
Radical Reproductive Justice Loretta Ross / Book Paperback
common.buy 23.50 € 45.97 лв
The Story of Alec: How a parrot discovered the keys to a lifetime embracing congruence Hongjun Wang / Book Paperback
common.buy 16.02 € 31.34 лв
Da Nang Bound -- A Legacy of War MR Frank William Skilbeck / Book Paperback
common.buy 12.34 € 24.13 лв
Historical Guide to Chattanooga and Lookout Mountain George C Connor / Book Paperback
common.buy 11.57 € 22.63 лв
The Long Walk: The Verge Walker Book 1 Ben Reeder / Book Paperback
common.buy 10.49 € 20.52 лв
Becoming Peace Kamra Smith / Book Paperback
common.buy 17.77 € 34.75 лв
The Outsourcing Junkie: Getting Things Done with Fiverr Jelani Copemann / Book Paperback
common.buy 10.49 € 20.52 лв
Birth of a Nation D.W. Griffith / Video Blu-ray
common.buy 29.90 € 58.49 лв
Love Made: A Story of God's Overflowing, Creative Heart Quina Aragon / Book Hardback
common.buy 17.05 € 33.34 лв
Decolonising Multilingualism Alison Phipps / Book Hardback
common.buy 51.16 € 100.06 лв
Lore Craig Saunders / Book Paperback
common.buy 11.36 € 22.23 лв
David Yarrow Photography David Yarrow / Book Hardback
common.buy 102.06 € 199.62 лв
Comesa: Common Market and Integration in Africa: Member States-Economy-Trade Ioannis Vasileiou / Book Paperback
common.buy 15.05 € 29.44 лв
My Begging Chart Roberts / Book Paperback
common.buy 17.41 € 34.05 лв
Tetherball Jessica Coupé / Book Paperback
common.buy 14.23 € 27.84 лв
Inorganic-Organic Composites for Water and Wastewater Treatment Ali Khadir / Book Hardback
common.buy 129.62 € 253.51 лв
Bad Boy Blues Special Edition Paperback Saffron A. Kent / Book Paperback
common.buy 20.53 € 40.16 лв
Playing Piano Chords, Part II Tijs Krammer / Book Paperback
common.buy 27.45 € 53.68 лв
Beyond the Wager: The Christian Brilliance of Blaise Pascal Douglas Groothuis / Book Paperback
common.buy 19.76 € 38.65 лв
Marital Spirituality Patrick J. McDonald / Book Paperback
common.buy 14.23 € 27.84 лв

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?