Kód: 09062296
Scalable Techniques for Formal Verification
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 243
Nakladateľ: Springer-Verlag New York Inc., 2014
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year)
27.43 € -
Láska, svoboda, samota
11.03 € -31 % -
White Rose Maths Practice Journals Year 7 Workbook: Single Copy (Paperback)
9.20 € -
A Certain Magical Index Nt, Vol. 5 (Light Novel)
12.04 € -25 % -
The Mask of Sanity
37.76 € -20 % -
Cabin Porn Za dveřmi
18.72 € -24 % -
Book of the Horse
13.86 € -22 % -
Philosophy of Money
30.27 € -
Say Goodnight
8.70 € -25 % -
Pád modrého ptáka
6.47 € -21 % -
Eislotus. Wasser findet seinen Weg
16.39 € -10 % -
Small and Tiny House Plans Design Book: Small home plans + granny flat plans in Metric and Feet and Inches
18.32 € -7 % -
Science of Deliverance, The
22.37 € -9 % -
The Villainess is a Marionette 03
14.47 € -10 % -
Elmo's Little Dreidel
8.90 € -
Laravel Basics: Creating Web Apps. It's Simple.
5.26 € -57 % -
Nosferatu
27.13 € -
Athlone History of Witchcraft and Magic in Europe
237.35 € -
Geometry of the Semigroup Z_( 0)^n and its Applications to Combinatorics, Algebra and Differential Equations
46.06 € -
Dispute Settlement Reports 2007: Volume 10, Pages 3827-4300
252.33 € -
Adolescent Public Mental Health
114.72 € -
ARINAGO DUK HAIZEA ABSALON/JUARISTI
18.22 € -
30 días con Don Bosco
10.72 € -
Essays. Collected and Arranged by Sir George Young
21.96 € -2 % -
Roscoe and Charlie: Travel to Cloudcroft
9.81 € -6 % -
Hand Book to Veterinary Homoeopathy
5.66 € -
Hands to Spell-Read-Write: Princesses Spelling Workbook
18.22 € -7 % -
Joan of Arc
33 € -
Road at the Water's Edge
19.63 € -25 % -
Diagnostic Report Writing In Speech-Language Pathology
202.41 € -
Ultraviolet Germicidal Irradiation Handbook
330 € -10 % -
Les Martionautes
21.66 € -
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD
9.91 € -5 % -
Tropical Forest Conservation
81.91 € -
Force Like No Other 1
15.99 € -22 % -
Journey to and Beyond the Blackboard
23.48 € -7 % -
EASY CONCERT PIECES BAND 1 GUITARE +CD
35.33 € -
Bewegter Koerper - Mechanischer Apparat
105.20 € -
Key Aspects of German Business Law
177.60 € -
Why does my Daddy Drink
17.20 € -7 % -
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden
440.38 € -7 % -
Instabilitat in Natur und Wissenschaft
228.94 € -9 % -
Marked Heart: A Marked Heart Novel
11.53 € -7 % -
Films of Fact - British Cinema and Thatcherism
29.86 € -
Emotions
150.26 € -9 % -
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook
14.07 € -7 % -
Father
35.53 € -1 % -
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day
10.32 € -7 % -
What America Owes the World
43.03 € -
IUTAM Symposium on Discretization Methods for Evolving Discontinuities
109.45 € -
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.67 € -24 % -
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871)
30.06 € -2 % -
Alabama Football Tales: More Than a Century of Crimson Tide Glory
15.99 € -22 % -
amerikanische Besetzung Deutschlands
58.92 € -25 % -
Conversations with Samuel Beckett and Bram Van Velde
11.33 € -24 % -
Dinner Time
43.33 €
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Scalable Techniques for Formal Verification
Nákupom získate 262 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
108.54 €
- Celý názov: Scalable Techniques for Formal Verification
- Autor: SANDIP RAY
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 243
- EAN: 9781489984449
- ISBN: 9781489984449
- ID: 09062296
- Nakladateľ: Springer-Verlag New York Inc.
- Hmotnosť: 403 g
- Rozmery: 235 × 155 × 15 mm
- Dátum vydania: 19. October 2014
Obľúbené z iného súdka
-
Lego Power Functions Idea Book, Volume 1
17.81 € -29 % -
Fundamentals of Power Electronics
100.75 € -
Lego Technic Idea Book: Simple Machines
18.62 € -25 % -
Comprehensible Guide to Servo Motor Sizing
14.88 € -24 % -
Practical Electronics for Inventors
31.99 € -23 % -
The Art of Electronics
120.29 € -
Practical Electronics - Components and Techniques
28.65 € -24 % -
The LEGO Power Functions Idea Book, Vol. 2
17.81 € -29 % -
Electromagnetic Compatibility Engineering
142.77 € -1 % -
Complete Electronics Self-Teaching Guide with Projects
26.52 € -25 % -
Encyclopedia of Electronic Components
18.32 € -24 % -
Cybernetics
13.96 € -
Beginner's Guide to Reading Schematics, Fourth Edition
20.34 € -24 % -
Arduino Cookbook
39.08 € -26 % -
Modern Robotics
83.13 € -
Design of Analog CMOS Integrated Circuits
82.62 € -
Signal and Power Integrity - Simplified
131.63 € -
Audiophile Vacuum Tube Amplifiers Volume 3
79.38 € -
Automating with SIMATIC S7-1500
101.15 € -9 % -
Small and Short-Range Radar Systems
140.54 € -
Tube Guitar Amplifiers Volume 1
69.86 € -
Robots
28.95 € -
Intuitive Analog Circuit Design
83.53 € -
Fully-Integrated Low-Dropout Regulators
90.01 € -
Modeling and Control of a Vanadium Redox Flow Battery
197.15 € -
Programmable Logic Controllers
61.05 € -
Program Earth
34.22 € -
Optimal Control
18.22 € -25 % -
Optimal Control
31.99 € -25 % -
Encyclopedia of Electronic Components Volume 2
21.76 € -24 % -
Lego Technic Idea Book: Fantastic Contraptions
14.77 € -28 % -
Encyclopedia of Electronic Components V3
21.76 € -24 % -
Make: More Electronics
25.10 € -25 % -
The Art of Electronics: The x Chapters
68.95 € -5 % -
Automotive Oscilloscopes
45.46 € -10 % -
Principles of Power Electronics
66.82 € -
Lego Technic Idea Book: Wheeled Wonders
14.77 € -25 % -
High Speed Digital Design
130.52 € -
Sae J1939 ECU Programming & Vehicle Bus Simulation with Arduino
23.79 € -2 % -
PLC Controls with Structured Text (ST)
20.04 € -6 % -
High-Power Audio Amplifier Construction Manual
52.34 € -18 % -
TAB Guide to Vacuum Tube Audio: Understanding and Building Tube Amps
32.09 € -24 % -
To Be a Machine
12.34 € -20 % -
How to Diagnose and Repair Automotive Electrical Systems
21.66 € -27 % -
Audiophile Vacuum Tube Amplifiers - Design, Construction, Testing, Repairing & Upgrading, Volume 1
77.56 € -
Audiophile Vacuum Tube Amplifiers - Design, Construction, Testing, Repairing & Upgrading, Volume 2
79.38 € -
Automobile Electrical and Electronic Systems
71.48 € -
Transformers for Tube Amplifiers
104.39 € -
Electronics For Dummies, UK Edition
23.69 € -15 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12542 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)