Code: 42163944
Symbolic Model Checking
by Kenneth L. McMillan
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified pro ... more
- Language:
English - Binding: Hardback
- Number of pages: 194
Publisher: Kluwer Academic Publishers, 1993
- More about this
98.07 €
RRP: 98.08 €
You save 0.01 €
In stock at our supplier
Shipping in 10 - 18 days
You might also like
-
NKJV, Simply Charming Bible
24.56 € -24 % -
Simon Leach's Pottery Handbook
28.61 € -24 % -
Making Dances That Matter
20.31 € -24 % -
Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021
21.02 € -15 % -
Book of Bees
23.25 € -17 % -
Encyclopaedia of World Bridges
36.90 € -24 % -
Usborne Geography Encyclopedia
16.88 € -30 % -
Breve diccionario etimológico de la lengua castellana
51.76 € -
Yoga-Anatomie 3D
24.36 € -9 % -
Voicework in Music Therapy
64.91 € -
Heart of Valor: Gay Romance
8.99 € -6 % -
Clip Studio Paint by Example
58.03 € -1 % -
Tiny Music...Songs From The Vatican Gift Shop
27.39 € -
Surgery of the Stomach
102.93 € -7 % -
TESTIGO DE RADIO
29.62 € -
Schau genau, per St
17.38 € -20 % -
Sputnik
23.65 € -16 % -
Al-qutayrat al-bayda B2, lengua árabe
15.36 € -
Prima Facie
9.80 € -6 % -
Introdução à Química dos Alimentos
37.40 € -14 % -
How to Stop Living Paycheck to Paycheck
16.17 € -25 % -
Necromáquina
24.66 € -
Confessions Of An Opera Singer (1918)
42.66 € -2 % -
Gog Et Magog
24.06 € -
Jenny
16.17 € -10 % -
Cycle de l'Atlantide, tome 1
19.71 € -7 % -
Das Fachbuch zum Taschenrechner Rebell SC2060S
13.54 € -10 % -
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882)
36.39 € -2 % -
South Asian Politics and Religion
284.73 € -
Atomic Properties in Hot Plasmas
102.93 € -7 % -
Enigme des vacances : The captain is missing! 5e/4e
10.20 € -
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española
32.25 € -
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA
32.14 € -9 % -
Place of the Beautiful in the City Plan
25.57 € -2 % -
Complete Account Of The Settlement At Port Jackson
21.12 € -1 % -
Malbuch für Geist & Seele
9.29 € -
Florida
17.69 € -17 % -
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I
56.82 € -19 % -
Readings for Reflective Teaching in Early Education
44.08 € -4 % -
History of Australian Exploration from 1788 to 1888.
25.57 € -2 % -
Polacy w służbie Moskali
32.04 € -
MBS
13.74 € -29 %
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 Symbolic Model Checking
You get 237 loyalty points
Book synopsis
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe
Book details
98.07 €
- Full title: Symbolic Model Checking
- Author: Kenneth L. McMillan
- Language: English
- Binding: Hardback
- Number of pages: 194
- EAN: 9780792393801
- ISBN: 0792393805
- ID: 42163944
- Publisher: Kluwer Academic Publishers
- Weight: 426 g
- Dimensions: 229 × 179 × 18 mm
- Date of publishing: 31. July 1993
Trending among others
-
Moonwalk
14.05 € -18 % -
The Score
12.43 € -8 % -
Berserk Deluxe Volume 1
35.89 € -25 % -
The Deal
12.33 € -9 % -
The Mistake
11.32 € -28 % -
Jujutsu Kaisen, Vol. 30
9.70 € -25 % -
Berserk Deluxe Volume 2
36.29 € -31 % -
Dancing The Dream
19.91 € -31 % -
Murdoku
14.65 € -22 % -
Berserk Deluxe Volume 3
55.40 € -
The Goal
12.93 € -4 % -
White Nights
4.54 € -14 % -
Invincible Compendium Volume 2
45.80 € -24 % -
Chainsaw Man, Vol. 21
9.90 € -20 % -
The Legacy
11.92 € -12 % -
Jujutsu Kaisen, Vol. 29
7.67 € -30 % -
Invincible Compendium Volume 3
45.80 € -24 % -
Threshing Day (Wing and Claw Collection)
17.79 € -29 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.08 € -13 % -
Berserk Deluxe Volume 5
55 € -
Witch Hat Atelier: Grimoire Edition 1
34.98 € -29 % -
Jujutsu Kaisen, Vol. 26
9.90 € -20 % -
Berserk Deluxe Volume 4
43.57 € -17 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.19 € -25 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
15.16 € -29 % -
Restitution
9.90 € -27 % -
Heated Rivalry
12.53 € -7 % -
Jujutsu Kaisen, Vol. 1
13.44 € -
Witch Hat Atelier: Grimoire Edition 2
34.67 € -30 % -
Yesteryear
16.17 € -12 % -
The Courage To Be Disliked
10.71 € -13 % -
Moonwalk: A Memoir
22.74 € -27 % -
Veil Volume 1
14.15 € -33 % -
Onyx Storm (Deluxe Limited Edition) (The Empyrean, 3)
24.06 € -25 % -
Jujutsu Kaisen, Vol. 25
9.90 € -23 % -
Jujutsu Kaisen, Vol. 2
9.90 € -20 % -
Murdoku Volume 2: Back in Time
14.65 € -22 % -
Invincible Compendium Volume 1
45.80 € -24 % -
Jujutsu Kaisen, Vol. 28
7.67 € -30 % -
Onyx Storm
11.11 € -18 % -
Six of Crows: A Darker Shore: Letters from Ketterdam
21.33 € -12 % -
Berserk Deluxe Volume 6
54.79 € -
The Count of Monte Cristo
10.40 € -23 % -
The Long Game
12.22 € -10 % -
Voracious
11.42 € -16 % -
Witch Hat Atelier Manga Box Set 1
55.40 € -29 % -
Kid's Box New Generation Level 2 Activity Book with Digital Pack British English
10.51 € -11 % -
Throne of Glass Box Set
77.85 € -25 % -
Atomic Habits
15.86 € -23 %
Shopping guide
Books by language
Collection points Bratislava a 12832 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25668 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)