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

Scalable Techniques for Formal Verification

Language EnglishEnglish
Book Hardback
Book Scalable Techniques for Formal Verification Sandip Ray
Libristo code: 01423877
Publishers Springer-Verlag New York Inc., May 2010
This book presents state-of-the-art approaches to formal verification techniques to seamlessly integ... 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

Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Book Paperback
common.buy 51.19 €
Komplexes Problemloesen Ulrike Kipman / Book Paperback
common.buy 44.49 €
Spielplan Simon Golthauer / Book Hardback
common.buy 26.99 €
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Book Paperback
common.buy 63.79 €
Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Book Paperback
common.buy 43.29 €
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Book Paperback
common.buy 29.89 €
Stírací mapa Evropy – zlatá Deluxe XL / Printed items Map
common.buy 20.79 €
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Book Paperback
common.buy 15.89 €
petit cirque du salut. PIERRE HENRI DUBOIS / Book Paperback
common.buy 13.09 €
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Book Paperback
common.buy 18.09 €
WK 133 Graz u. Umgebung 1:50 000 / Printed items Map
common.buy 12.09 €
Fahnenweihe Josef Ruederer / Book Paperback
common.buy 15.29 €
Soehne des Herrn Budiwoj August Sperl / Book Paperback
common.buy 36.39 €
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Game/Toy Game
common.buy 11.49 €
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Book Paperback
common.buy 38.29 €
Allgemeine Untersuchungsmethoden R Strohecker / Book Paperback
common.buy 65.69 €
František Pubička S.I. (1722-1807) Jakub Zouhar / Book Sheet
common.buy 16.89 €
Theorien Des Magnetismus Joseph Würschmidt / Book Paperback
common.buy 64.69 €
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Book Paperback
common.buy 15.95 €
Shitstorm or Nonsens Peter H. Kemp / Book Paperback
common.buy 11.70 €
EinFach Deutsch Textausgaben Georg Büchner / Book Paperback
common.buy 9.09 €

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

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 Scalable Techniques for Formal Verification
Author Sandip Ray
Language English
Binding Book - Hardback
Date of issue 2010
Number of pages 243
EAN 9781441959973
ISBN 1441959971
Libristo code 01423877
Publishers Springer-Verlag New York Inc.
Weight 1200
Dimensions 155 x 235 x 25

Categories

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

Nonlinear Dynamics and Vibration Control of Flexible Systems HUANG / Book Paperback
common.buy 72.29 €
Natural History of the West Indies Sterling A. Stoudemire / Book Paperback
common.buy 33.69 €
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection LAVIGNE MELISSA / Book Paperback
common.buy 12.69 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Book Paperback
common.buy 29.89 €
Legends & Lattes BALDREE TRAVIS / Book Paperback
common.buy 13.79 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Book Book
common.buy 79.29 €
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes Linda Rupnow Buzogany MS Lpc / Book Paperback
common.buy 15.39 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Book Paperback
common.buy 6.99 €
V2 Robert Harris / Book Paperback
common.buy 11.39 €
Future Religious Policy of America William R. Halstead / Book Paperback
common.buy 23.79 €
The DC Book of Pride: A Celebration of DC's Lgbtqia+ Characters DK / Book Hardback
common.buy 16.99 €
What You See Cherise Sinclair / Book Paperback
common.buy 17.49 €
Sleeping Beauty Jennifer Adams / Book Board book
common.buy 10.29 €
Renaissance Masterpieces of Art Julia Biggs / Book Hardback
common.buy 19.39 €
Culinary Herbs and Spices Magali Chohan / Book Hardback
common.buy 143.89 €
Top
Board Game Design Advice Gabe Barrett / Book Paperback
common.buy 20.09 €
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Book Paperback
common.buy 15.39 €
Never Always: A Enemies to Lovers Navy SEAL Romance Rachel Robinson / Book Paperback
common.buy 13.59 €
Ethics C.D. Broad / Book Hardback
common.buy 234.09 €
Three Days in June TYLER ANNE / Book Hardback
common.buy 21.99 €
Lectures on the Philosophy of World History Georg Wilhelm Friedrich HegelHugh Barr NisbetDuncan Forbes / Book Paperback
common.buy 50.19 €
Media Production, Delivery and Interaction for Platform Independent Systems - Format-Agnostic Media Oliver Schreer / Book Hardback
common.buy 112.79 €
Standing Down Falling Up Nita Jackson / Book Paperback
common.buy 40.59 €
Top
Jony Ive Leander Kahney / Book Paperback
common.buy 12.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?