Kód: 42163944
Symbolic Model Checking
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 194
Nakladateľ: Kluwer Academic Publishers, 1993
- Viac informácií o knihe
97.93 €
Bežne: 97.94 €
Ušetríte 0.01 €
Skladom u dodávateľa
Odosielame za 10 - 18 dní
Mohlo by sa vám tiež páčiť
-
NKJV, Simply Charming Bible
24.32 € -24 % -
Book of Bees
22.81 € -19 % -
Encyclopaedia of World Bridges
36.84 € -24 % -
Usborne Geography Encyclopedia
16.85 € -30 % -
Voicework in Music Therapy
66.83 € -
Breve diccionario etimológico de la lengua castellana
51.79 € -
Yoga-Anatomie 3D
21.09 € -16 % -
Heart of Valor: Gay Romance
8.98 € -6 % -
Clip Studio Paint by Example
57.95 € -1 % -
Surgery of the Stomach
102.78 € -7 % -
TESTIGO DE RADIO
29.67 € -
Schau genau, per St
18.87 € -13 % -
Sputnik
23.62 € -16 % -
Al-qutayrat al-bayda B2, lengua árabe
15.44 € -
Prima Facie
9.78 € -6 % -
Introdução à Química dos Alimentos
37.35 € -14 % -
Jenny
16.15 € -10 % -
Cycle de l'Atlantide, tome 1
19.68 € -7 % -
Das Fachbuch zum Taschenrechner Rebell SC2060S
13.52 € -10 % -
South Asian Politics and Religion
215.36 € -
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española
32.30 € -
Necromáquina
24.63 € -
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882)
36.34 € -2 % -
Atomic Properties in Hot Plasmas
102.78 € -7 % -
Complete Account Of The Settlement At Port Jackson
19.28 € -
Place of the Beautiful in the City Plan
25.54 € -2 % -
Malbuch für Geist & Seele
9.28 € -
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I
56.73 € -19 %
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 Symbolic Model Checking
Nákupom získate 237 bodov
Anotácia knihy
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
Parametre knihy
97.93 €
- Celý názov: Symbolic Model Checking
- Autor: Kenneth L. McMillan
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 194
- EAN: 9780792393801
- ISBN: 0792393805
- ID: 42163944
- Nakladateľ: Kluwer Academic Publishers
- Hmotnosť: 426 g
- Rozmery: 229 × 179 × 18 mm
- Dátum vydania: 31. July 1993
Obľúbené z iného súdka
-
Moonwalk
14.13 € -
The Score
13.72 € -19 % -
The Deal
12.41 € -24 % -
The Mistake
14.53 € -
Jujutsu Kaisen, Vol. 30
9.58 € -22 % -
Witch Hat Atelier: Grimoire Edition 1
34.52 € -29 % -
Berserk Deluxe Volume 1
35.43 € -26 % -
Invincible Compendium Volume 2
42.20 € -30 % -
Invincible Compendium Volume 1
45.73 € -24 % -
The Goal
14.63 € -
Berserk Deluxe Volume 2
33.11 € -30 % -
Witch Hat Atelier Manga Box Set 1
56.03 € -25 % -
Heated Rivalry
12.61 € -7 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
14.93 € -29 % -
Jujutsu Kaisen, Vol. 25
9.88 € -20 % -
Moonwalk: A Memoir
21.70 € -24 % -
Jujutsu Kaisen, Vol. 26
9.88 € -20 % -
Murdoku
16.95 € -25 % -
Jujutsu Kaisen, Vol. 29
9.88 € -20 % -
Berserk Deluxe Volume 3
55.02 € -
Veil Volume 1
12.01 € -25 % -
White Nights
4.74 € -11 % -
Invincible Compendium Volume 3
45.73 € -24 % -
King of Gluttony
10.19 € -33 % -
The Deal
14.02 € -25 % -
The Long Game
13.12 € -3 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.27 € -24 % -
Legacy
11.90 € -24 % -
Invincible Volume 1
9.99 € -24 % -
Starside (Deluxe Limited Edition)
23.21 € -29 % -
Berserk Deluxe Volume 5
54.72 € -
Project Hail Mary
10.49 € -27 % -
Dancing The Dream
26.65 € -19 % -
Berserk Deluxe Volume 4
43.51 € -17 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.27 € -24 % -
The Summer Hikaru Died, Vol. 7
11.90 € -21 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.27 € -24 % -
Jujutsu Kaisen, Vol. 28
9.99 € -23 % -
Boys Omnibus Vol. 1 TPB
23.82 € -30 % -
Yesteryear
15.84 € -25 % -
Veil Volume 2
16.04 € -24 % -
The Ballad of Falling Dragons
14.43 € -12 % -
The Score
14.02 € -25 % -
Murdoku
13.72 € -29 % -
Chainsaw Man, Vol. 20
7.66 € -30 % -
The Courage To Be Disliked
10.69 € -13 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
14.83 € -24 % -
Jujutsu Kaisen, Vol. 1
12.61 € -
Project Hail Mary
15.84 € -26 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12840 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)