Code: 01423877

Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Brand: Springer-Verlag New York Inc.
SKU: 01423877
Price: 109.34 EUR
Availability: InStock
Author: Sandip Ray
ISBN: 9781441959973

by Sandip Ray

Language: English
Binding: Hardback
Number of pages: 243
Publisher: Springer-Verlag New York Inc., 2010
More about this

109.34 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Heart of Darkness
4.44 € -10 %
Buy
Legends & Lattes
13.04 € -29 %
Buy
Board Game Design Advice
18.70 € -5 %
Buy
Jony Ive
12.43 € -28 %
Buy
V2
10.81 € -24 %
Buy
ASSiMEMOR Animales & Colores (Tiere & Farben)
11.12 € -3 %
Buy
Stírací mapa Evropy – zlatá Deluxe XL
18.40 € -25 %
Buy
Play Therapy Activities for Mindfulness: 80 Play-Based Exercises to Improve Emotional Regulation and Strengthen the Parent-Child Connection
11.32 € -25 %
Buy
Murder in the Age of Enlightenment
9.70 € -29 %
Buy
The Superman Years: the Emotional Life of a Parent Caring for a Child with Type 1 Diabetes
14.05 € -7 %
Buy
Three Days in June
19.61 € -25 %
Buy
IMPERIOFILIA Y EL POPULISMO NACIONAL-CATÓLICO
22.24 €
Buy
František Pubička S.I. (1722-1807)
15.57 € -16 %
Buy
What You See
15.97 € -7 %
Buy
WK 133 Graz u. Umgebung 1:50 000
10.81 € -20 %
Buy
Renaissance Masterpieces of Art
18.10 € -9 %
Buy
It's a Good World Because You're in It
20.93 € -9 %
Pre-order
Naoki Urasawa: Récits, dessins et confidences (Nouvelle édition)
49.76 €
Buy
The Whippet - A Dog Anthology (A Vintage Dog Books Breed Classic)
27.40 € -2 %
Buy
Nonlinear Dynamics and Vibration Control of Flexible Systems
66.85 €
Buy
Culinary Herbs and Spices
129.98 €
Buy
Malay Folk Songs Collection: Early to Mid-Intermediate Level
11.02 € -21 %
Buy
Spielplan
22.45 € -11 %
Buy
The DC Book of Pride: A Celebration of DC's Lgbtqia+ Characters
15.16 € -26 %
Buy
Participacion de padres en la vida escolar y aprendizaje de matematica
32.06 € -14 %
Buy
Ethics
205.74 € -7 %
Buy
Lectures on the Philosophy of World History
46.12 €
Buy
petit cirque du salut.
11.93 € -2 %
Buy
Fahnenweihe
6.56 €
Buy
Das Bürgerliche Gesetzbuch aus Sicht des Common Law.
137.56 €
Buy
CHEMISTRY CENTRAL SCIENCE 7ª ED
76.87 €
Buy
Sleeping Beauty
9.70 € -25 %
Buy
Confessions of a London Boulevardier. Excerpts from an Artist's (so-called) Life: Vol. 1 Stroll On
6.36 € -7 %
Buy
Natural History of the West Indies
31.25 €
Buy
Isabel y Alejandra
12.74 €
Buy
Bosco. Una vida en tu mirada
27.81 €
Buy
Media Production, Delivery and Interaction for Platform Independent Systems - Format-Agnostic Media
103.37 € -4 %
Buy
Soehne des Herrn Budiwoj
24.17 € -11 %
Buy
Biologie-Géologie tout-en-un BCPST 1re année
61.90 €
Buy
Komplexes Problemloesen
37.82 € -6 %
Buy
True Chronicles of a Prodigal Son
21.33 € -6 %
Buy
Kaizen: How to Apply Lean Kaizen to Your Startup Business and Management to Improve Productivity, Communication, and Performan
14.05 € -7 %
Buy
Cognitieve ontwikkeling van studenten
53.40 € -14 %
Buy
Implementing Health-Protective Features and Practices in Buildings
55.02 €
Buy
Post-Communist Welfare Pathways
53.30 € -4 %
Buy
Battle for Allegiance
84.36 €
Buy
Never Always: A Enemies to Lovers Navy SEAL Romance
12.33 € -7 %
Buy
Zywot Kazimierza Na Pulaziu Pulaskiego: Starosty Zezulenieckiego Marszalka Konfederacyi Lomzynskiej, Regimentarza Malo-Polskiego (1869)
27.40 € -2 %
Buy
Psychological Testing in the Service of Disability Determination
67.46 €
Buy
Future Religious Policy of America
19.72 € -14 %
Buy
Large Print CODE WORD Book 4
8.39 € -6 %
Buy
Coptic Saints and Pilgrimages
22.75 €
Buy
Discípulos y maestros 2.0
41.77 €
Buy
Burton Upon Trent Recollections
12.84 € -25 %
Pre-order
Stopping RIM's downfall. A repositioning of the Blackberry brand
17.09 € -14 %
Buy
Die Entstehung der thomistisch-molinistischen Controverse
15.16 € -9 %
Buy
Theorien Des Magnetismus
53.10 € -7 %
Buy
Rome Et a Vienne, Notes de Voyages
16.58 €
Buy
Sociology of Islam - Knowledge, Power and Civility
100.14 €
Buy
Building Your Own Kitchen Furniture - Step by Step Instructions to Constructing Stools and Cabinets
12.13 € -2 %
Buy
Worthy Woman
12.13 € -2 %
Buy
Schriftspracherwerb Mit Der Tobi-Fibel Und Mit Dem Konzept Lesen Durch Schreiben Von J rgen Reichen
14.46 € -10 %
Buy
Allgemeine Untersuchungsmethoden
53.10 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Scalable Techniques for Formal Verification

Book details
Synopsis
Trending among others

You get 265 loyalty points

Book synopsis

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.