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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 285 b
41 769 Ft
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 14 805 Ft
Spielplan Simon Golthauer / Book Hardback
common.buy 8 698 Ft
Biologie-Géologie tout-en-un BCPST 1re année Anne Woerhlé / Book Paperback
common.buy 21 963 Ft
Mustafa Al -Nahhas Abbas Hafez / E-book Adobe ePub DRM
common.buy 4 696 Ft
Bosco. Una vida en tu mirada ANCA / Book Book
common.buy 9 845 Ft
Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition) Naoki Urasawa / Book Paperback
common.buy 17 651 Ft
WK 133 Graz u. Umgebung 1:50 000 / Printed items Map
common.buy 4 474 Ft
Soehne des Herrn Budiwoj August Sperl / Book Paperback
common.buy 9 374 Ft
EinFach Deutsch Textausgaben Georg Büchner / Book Paperback
common.buy 2 804 Ft
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen Merle Meinhardt / Book Paperback
common.buy 5 603 Ft
Theorien Des Magnetismus Joseph Würschmidt / Book Paperback
common.buy 20 468 Ft
František Pubička S.I. (1722-1807) Jakub Zouhar / Book Sheet
common.buy 5 737 Ft
Das Bürgerliche Gesetzbuch aus Sicht des Common Law. Marcus Dittmann / Book Paperback
common.buy 48 825 Ft
Allgemeine Untersuchungsmethoden R Strohecker / Book Paperback
common.buy 20 468 Ft
Participacion de padres en la vida escolar y aprendizaje de matematica Huaman Delgado Dulia / Book Paperback
common.buy 12 469 Ft
ASSiMEMOR Animales & Colores (Tiere & Farben) DEHEEGER Jean-SEbast / Game/Toy Game
common.buy 3 960 Ft
Komplexes Problemloesen Ulrike Kipman / Book Paperback
common.buy 14 629 Ft
Fahnenweihe Josef Ruederer / Book Paperback
common.buy 2 508 Ft
Rome Et a Vienne, Notes de Voyages DE FAVIERS-H / Book Paperback
common.buy 6 676 Ft
petit cirque du salut. PIERRE HENRI DUBOIS / Book Paperback
common.buy 4 826 Ft
IMPERIOFILIA Y EL POPULISMO NACIONAL-CATÓLICO JOSE LUIS VILLACAÑAS / Book Paperback
common.buy 7 893 Ft
Die Entstehung der thomistisch-molinistischen Controverse Gerhard Schneemann / Book Paperback
common.buy 5 399 Ft
Stírací mapa Evropy – zlatá Deluxe XL / Printed items Map
common.buy 7 731 Ft
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869) Leonard Chodzko / Book Paperback
common.buy 11 016 Ft

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 26 612 Ft
Implementing Health-Protective Features and Practices in Buildings Federal Facilities Council / Book Paperback
common.buy 21 888 Ft
CHEMISTRY CENTRAL SCIENCE 7ª ED BROWN / Book Book
common.buy 27 260 Ft
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets Hubbard Cobb / Book Paperback
common.buy 4 886 Ft
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 4 724 Ft
Top
Heart of Darkness Joseph Conrad / Book Paperback
common.buy 1 656 Ft
In Foreign Lands: The Migration of Scientists for Political or Economic Reasons Maria Teresa Borgato / E-book Adobe ePub DRM
common.buy 71 273 Ft
Fractured Minds Jenni A. Ogden / E-book Adobe ePub DRM
common.buy 18 793 Ft
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 5 709 Ft
Top
Legends & Lattes BALDREE TRAVIS / Book Paperback
common.buy 5 149 Ft
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On Francis Charlton / Book Paperback
common.buy 2 596 Ft
Coming soon
It's a Good World Because You're in It ALLAN KATE / Book Hardback
common.buy 8 083 Ft
Future Religious Policy of America William R. Halstead / Book Paperback
common.buy 7 657 Ft
Large Print CODE WORD Book 4 Jaja Books / Book Paperback
common.buy 3 391 Ft
Natural History of the West Indies Sterling A. Stoudemire / Book Paperback
common.buy 12 427 Ft
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic) Various / Book Paperback
common.buy 11 016 Ft
Sleeping Beauty Jennifer Adams / Book Board book
common.buy 3 697 Ft
Malay Folk Songs Collection: Early to Mid-Intermediate Level Charmaine Siagian / Book Paperback
common.buy 4 312 Ft
Renaissance Masterpieces of Art Julia Biggs / Book Hardback
common.buy 7 014 Ft
Battle for Allegiance Seden Akcinaroglu / Book Hardback
common.buy 29 930 Ft
Knowledge for What?: The Place of Social Science in American Culture. Robert S. Lynd / Book Paperback
common.buy 7 014 Ft
V2 Robert Harris / Book Paperback
common.buy 4 081 Ft
Top
Board Game Design Advice Gabe Barrett / Book Paperback
common.buy 7 555 Ft
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan Greg Caldwell / Book Paperback
common.buy 5 691 Ft

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