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
DPD courier 4.99 € GLS courier 9.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 277 b
114.08 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Discípulos y maestros 2.0 WILFRIDO H. CORRAL / Book Paperback
common.buy 41.51 €
Spielplan Simon Golthauer / Book Hardback
common.buy 22.36 €
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Book Paperback
common.buy 61.57 €
Mustafa Al -Nahhas Abbas Hafez / E-book Adobe ePub DRM
common.buy 13.19 €
Bosco. Una vida en tu mirada ANCA / Book Book
common.buy 27.60 €
Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Book Paperback
common.buy 49.47 €
WK 133 Graz u. Umgebung 1:50 000 / Printed items Map
common.buy 12.18 €
Soehne des Herrn Budiwoj August Sperl / Book Paperback
common.buy 24.08 €
EinFach Deutsch Textausgaben Georg Büchner / Book Paperback
common.buy 7.25 €
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Book Paperback
common.buy 14.40 €
Theorien Des Magnetismus Joseph Würschmidt / Book Paperback
common.buy 52.90 €
František Pubička S.I. (1722-1807) Jakub Zouhar / Book Sheet
common.buy 16.12 €
Das Bürgerliche Gesetzbuch aus Sicht des Common Law. Marcus Dittmann / Book Paperback
common.buy 157.92 €
Allgemeine Untersuchungsmethoden R Strohecker / Book Paperback
common.buy 52.90 €
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Book Paperback
common.buy 31.94 €
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Game/Toy Game
common.buy 11.08 €
Komplexes Problemloesen Ulrike Kipman / Book Paperback
common.buy 37.68 €
Fahnenweihe Josef Ruederer / Book Paperback
common.buy 6.54 €
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Book Paperback
common.buy 17.32 €
petit cirque du salut. PIERRE HENRI DUBOIS / Book Paperback
common.buy 12.59 €
IMPERIOFILIA Y EL POPULISMO NACIONAL-CATÓLICO JOSE LUIS VILLACAÑAS / Book Paperback
common.buy 22.06 €
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Book Paperback
common.buy 15.11 €
Stírací mapa Evropy – zlatá Deluxe XL / Printed items Map
common.buy 20.95 €
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Book Paperback
common.buy 28.71 €

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 69.73 €
Implementing Health-Protective Features and Practices in Buildings Federal Facilities Council / Book Paperback
common.buy 57.33 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Book Book
common.buy 76.48 €
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb / Book Paperback
common.buy 12.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.08 €
Top
Heart of Darkness Joseph Conrad / Book Paperback
common.buy 3.92 €
In Foreign Lands: The Migration of Scientists for Political or Economic Reasons Maria Teresa Borgato / E-book Adobe ePub DRM
common.buy 202.46 €
Fractured Minds Jenni A. Ogden / E-book Adobe ePub DRM
common.buy 53.40 €
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 14.81 €
Top
Legends & Lattes BALDREE TRAVIS / Book Paperback
common.buy 12.99 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Book Paperback
common.buy 6.74 €
Coming soon
It's a Good World Because You're in It ALLAN KATE / Book Hardback
common.buy 21.36 €
Future Religious Policy of America William R. Halstead / Book Paperback
common.buy 19.64 €
Large Print CODE WORD Book 4 Jaja Books / Book Paperback
common.buy 8.76 €
Natural History of the West Indies Sterling A. Stoudemire / Book Paperback
common.buy 32.54 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Book Paperback
common.buy 28.71 €
Sleeping Beauty Jennifer Adams / Book Board book
common.buy 9.67 €
Malay Folk Songs Collection: Early to Mid-Intermediate Level Charmaine Siagian / Book Paperback
common.buy 11.58 €
Renaissance Masterpieces of Art Julia Biggs / Book Hardback
common.buy 18.03 €
Battle for Allegiance Seden Akcinaroglu / Book Hardback
common.buy 84.04 €
Knowledge for What?: The Place of Social Science in American Culture. Robert S. Lynd / Book Paperback
common.buy 18.03 €
V2 Robert Harris / Book Paperback
common.buy 10.77 €
Board Game Design Advice Gabe Barrett / Book Paperback
common.buy 19.64 €
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Book Paperback
common.buy 14.81 €

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?