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 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
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 240 b
97.89 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

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

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 62.69 €
Implementing Health-Protective Features and Practices in Buildings Federal Facilities Council / Book Paperback
common.buy 49.39 €
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Book Book
common.buy 62.79 €
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb / Book Paperback
common.buy 10.79 €
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 9.69 €
Heart of Darkness Joseph Conrad / Book Paperback
common.buy 3.69 €
In Foreign Lands: The Migration of Scientists for Political or Economic Reasons Maria Teresa Borgato / E-book Adobe ePub DRM
common.buy 171.09 €
Fractured Minds Jenni A. Ogden / E-book Adobe ePub DRM
common.buy 45.79 €
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 12.49 €
Top
Legends & Lattes BALDREE TRAVIS / Book Paperback
common.buy 11.49 €
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Book Paperback
common.buy 5.69 €
Coming soon
It's a Good World Because You're in It ALLAN KATE / Book Hardback
common.buy 18.79 €
Future Religious Policy of America William R. Halstead / Book Paperback
common.buy 17.19 €
Large Print CODE WORD Book 4 Jaja Books / Book Paperback
common.buy 7.39 €
Natural History of the West Indies Sterling A. Stoudemire / Book Paperback
common.buy 27.99 €
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Book Paperback
common.buy 23.79 €
Sleeping Beauty Jennifer Adams / Book Board book
common.buy 8.29 €
Malay Folk Songs Collection: Early to Mid-Intermediate Level Charmaine Siagian / Book Paperback
common.buy 10.99 €
Renaissance Masterpieces of Art Julia Biggs / Book Hardback
common.buy 16.29 €
Battle for Allegiance Seden Akcinaroglu / Book Hardback
common.buy 87.29 €
Knowledge for What?: The Place of Social Science in American Culture. Robert S. Lynd / Book Paperback
common.buy 15.89 €
V2 Robert Harris / Book Paperback
common.buy 9.19 €
Affordable
Board Game Design Advice Gabe Barrett / Book Paperback
common.buy 12.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 €

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?