Code: 09062296
Scalable Techniques for Formal Verification
by SANDIP RAY
This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes ... more
- Language:
English - Binding: Paperback
- Number of pages: 243
Publisher: Springer-Verlag New York Inc., 2014
- More about this
106.58 €
RRP: 106.64 €
You save 0.05 €
In stock at our supplier
Shipping in 14 - 21 days
You might also like
-
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year)
25.10 € -
White Rose Maths Practice Journals Year 7 Workbook: Single Copy (Paperback)
8.96 € -
Book of the Horse
14.11 € -21 % -
A Certain Magical Index Nt, Vol. 5 (Light Novel)
12.29 € -25 % -
Láska, svoboda, samota
14.21 € -11 % -
LAS INITIAL COIN OFFERING (ICOS) Y LA TOKENIZACIÓN DE LA ECONOMÍA
28.43 € -
Cabin Porn Za dveřmi
22.08 € -10 % -
Comprehensive Handbook of Traditional Chinese Medicine
26.51 € -10 % -
The Mask of Sanity
24.29 € -49 % -
Philosophy of Money
35.99 € -
Maiden, Mother, Crone
12.29 € -21 % -
Say Goodnight
8.66 € -24 % -
Pád modrého ptáka
7.35 € -10 % -
Eislotus. Wasser findet seinen Weg
16.23 € -10 % -
The Villainess is a Marionette 03
14.41 € -10 % -
Science of Deliverance, The
19.65 € -10 % -
Elmo's Little Dreidel
6.75 € -24 % -
Laravel Basics: Creating Web Apps. It's Simple.
2.11 € -83 % -
Nosferatu
25.91 € -
Geometry of the Semigroup Z_( 0)^n and its Applications to Combinatorics, Algebra and Differential Equations
40.33 € -9 % -
Athlone History of Witchcraft and Magic in Europe
237.08 € -
Diagnostic Report Writing In Speech-Language Pathology
238.99 € -
Dispute Settlement Reports 2007: Volume 10, Pages 3827-4300
255.33 € -
Hands to Spell-Read-Write: Princesses Spelling Workbook
18.65 € -6 % -
IUTAM Symposium on Discretization Methods for Evolving Discontinuities
102.65 € -7 % -
Representations of Preferences Orderings
102.65 € -7 % -
Pexeso dřevo - společenská hra / 40 ks v krabici
21.87 € -9 % -
30 días con Don Bosco
10.48 € -
Instabilitat in Natur und Wissenschaft
228.61 € -9 % -
Construction Vehicles Activity and Coloring Book
7.15 € -6 % -
ARINAGO DUK HAIZEA ABSALON/JUARISTI
18.04 € -
Journey to and Beyond the Blackboard
16.53 € -14 % -
Hand Book to Veterinary Homoeopathy
5.84 € -
Embodied Social Cognition
102.65 € -7 % -
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden
438.74 € -5 % -
Father
36.39 € -1 % -
Essays. Collected and Arranged by Sir George Young
22.48 € -2 % -
Roscoe and Charlie: Travel to Cloudcroft
9.97 € -7 % -
Knowledge and Power in Prehistoric Societies
130.28 € -
Telemedicina, un mundo a descubrir
48.80 € -14 % -
Federica
16.23 € -9 % -
Les Albanais en Yougoslavie - minorité nationale, territoire et développement
37.91 € -
Joan of Arc
33.77 € -
Déluge
30.95 € -
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook
14.41 € -7 % -
Road at the Water's Edge
20.06 € -25 % -
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day
10.58 € -6 % -
EASY CONCERT PIECES BAND 1 GUITARE +CD
34.68 € -
The Case of Seduction: Being, an Account of the Late Proceedings at Paris, as Well Ecclesiastical as Civil, Against the Reverend Abb E, Claud
14.92 € -25 % -
Microsoft Visual Studio 2008 Programming
51.22 € -18 % -
Eyes Open Level 3 Class Audio CDs (3) Grade 7 Kazakhstan Edition
94.08 € -
Multi-age Learning Community in Action
59.59 € -
Conversations with Samuel Beckett and Bram Van Velde
13.70 € -24 % -
Why does my Daddy Drink
17.64 € -6 % -
Neue Mobilitats- Und Migrationsprozesse Und Sozialraumliche Segregation
48.09 € -4 % -
Marked Heart: A Marked Heart Novel
11.79 € -6 % -
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD
9.67 € -4 % -
Emotions
150.05 € -9 % -
Агата Мiстерi. Книга 7. Корона дожiв
24.29 € -12 % -
Adolescent Public Mental Health
100.43 € -9 % -
What America Owes the World
44.06 € -
Histoire, Proces Et Condamnation Des Criminels Celebres
23.18 € -
The Mystery of Edwin Drood
11.69 € -7 % -
Pitch
26.71 € -23 % -
Key Aspects of German Business Law
184.84 € -
Alabama Football Tales: More Than a Century of Crimson Tide Glory
16.23 € -22 % -
Les figures symboliques du Féminin et du Masculin : de la préhistoire à la mythologie
23.99 € -
Dinner Time
42.95 € -
Films of Fact - British Cinema and Thatcherism
30.45 € -
Tropical Forest Conservation
88.23 € -
Force Like No Other 1
16.23 € -22 % -
Voices of Ashton Under Lyne
15.92 € -25 % -
Obras
26.21 € -2 % -
Pharmaceutical Botany
44.28 € -9 % -
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871)
30.85 € -1 % -
Bewegter Koerper - Mechanischer Apparat
93.47 € -1 % -
Ultraviolet Germicidal Irradiation Handbook
307.47 € -7 % -
Les Martionautes
25.81 € -
Ghosts of the Green Swamp
14.82 € -9 % -
Floating Continents
13.81 € -9 % -
amerikanische Besetzung Deutschlands
56.36 € -6 % -
Set Theory for Computing
153.88 € -7 % -
With the Joy in My Heart, I Will Rejoice
12.70 € -17 % -
Monstrous Bodies/Political Monstrosities in Early Modern Europe
162.65 €
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.
More about Scalable Techniques for Formal Verification
You get 259 loyalty points
Book synopsis
This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
Book details
Book category Books in English Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
106.58 €
- Full title: Scalable Techniques for Formal Verification
- Author: SANDIP RAY
- Language: English
- Binding: Paperback
- Number of pages: 243
- EAN: 9781489984449
- ISBN: 9781489984449
- ID: 09062296
- Publisher: Springer-Verlag New York Inc.
- Weight: 403 g
- Dimensions: 235 × 155 × 15 mm
- Date of publishing: 19. October 2014
Trending among others
-
Practical Electronics for Inventors
34.78 € -23 % -
The Art of Electronics
113.74 € -5 % -
Complete Electronics Self-Teaching Guide with Projects
27.32 € -25 % -
The Art of Electronics: The x-Chapters
83.79 € -
Nanovate
120.50 € -9 % -
Bebop to the Boolean Boogie
49.20 € -19 % -
Sensors, Actuators, and their Interfaces
133.71 € -12 % -
Arduino Projects For Dummies
23.99 € -22 % -
Encyclopedia of Electronic Components
18.65 € -25 % -
Lego Power Functions Idea Book, Volume 1
18.44 € -29 % -
The LEGO Power Functions Idea Book, Vol. 2
18.44 € -29 % -
Encyclopedia of Electronic Components Volume 2
22.18 € -25 % -
Electromagnetic Compatibility Engineering
145.21 € -9 % -
Practical Electronics - A Self-Teaching Guide
17.94 € -24 % -
Practical Electronics - Components and Techniques
29.23 € -25 % -
Cybernetics
14.21 € -
Fundamentals of Power Electronics
90.35 € -9 % -
Beginner's Guide to Reading Schematics, Fourth Edition
22.08 € -22 % -
Manga Guide To Microprocessors
18.95 € -25 % -
Modern Robotics
87.02 € -
Encyclopedia of Electronic Components V3
22.18 € -25 % -
Hardware Hacker
14.31 € -25 % -
Robotics, Vision and Control
67.56 € -
Lego Technic Idea Book: Simple Machines
18.44 € -27 % -
Optimal Control
32.76 € -25 % -
Lego Technic Idea Book: Wheeled Wonders
15.12 € -25 % -
Automobile Electrical and Electronic Systems
75.32 € -
Easy Electronics
8.06 € -25 % -
Audiophile Vacuum Tube Amplifiers - Design, Construction, Testing, Repairing & Upgrading, Volume 2
80.46 € -
Audiophile Vacuum Tube Amplifiers Volume 3
80.46 € -
Introduction to Robotics, Global Edition
83.79 € -14 % -
Intuitive Analog Circuit Design
84.30 € -
Optimal Control
18.65 € -24 % -
How to Diagnose and Repair Automotive Electrical Systems
20.97 € -30 % -
Audiophile Vacuum Tube Amplifiers - Design, Construction, Testing, Repairing & Upgrading, Volume 1
75.22 € -
Art Of Lego Mindstorms Ev3 Programming
33.67 € -24 % -
Circuit Analysis For Dummies
18.65 € -25 % -
TAB Guide to Vacuum Tube Audio: Understanding and Building Tube Amps
32.76 € -25 % -
Rise of the Robots
14.11 € -29 % -
Understanding Cryptography
47.08 € -
CMOS - Circuit Design, Layout, and Simulation, Fourth Edition
169.01 € -
Printed Circuit Board Design Techniques for EMC Compliance - A Handbook for Designers 2e
166.18 € -2 % -
Circuit Designer's Companion
71.79 € -9 % -
Industrial Motion Control - Motor Selection, Drives, Controller Tuning, Applications
140.16 € -
SDR with HackRF One & HackRF Pro
23.99 € -10 % -
Artificial Intelligence for Engineers
70.38 € -9 % -
Decoding Cultural Heritage
235.77 € -7 % -
Isaac Asimov - Alle Roboter-Geschichten
12.70 € -15 % -
Fundamentals of Semiconductors
60.40 € -9 %
Shopping guide
Books by language
Collection points Bratislava a 13537 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27078 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)