Kód: 01019063
Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, f ... celý popis
- Jazyk:
Angličtina - Väzba: Pevná
- Počet strán: 284
Nakladateľ: Princeton University Press, 2016
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition)
19.33 € -
Berenstain Bears and Too Much TV
5.15 € -24 % -
Black or White, Vol. 11
10.01 € -24 % -
Absent in the Spring
11.03 € -14 % -
Hebrew vocabulary for English speakers - 9000 words
15.69 € -7 % -
Gréčtina konverzácia
7.38 € -33 % -
Zimní a vánoční písně 1
4.85 € -21 % -
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách
9.31 € -21 % -
MZ ETZ Models (81 - 95)
41.81 € -15 % -
Die Königin der Weißen Rose
10.93 € -10 % -
AUDI RS
70.37 € -
Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn
6.77 € -
Hörverstehen, 4 Audio-CDs. Tl.1
43.43 € -7 % -
Technik in Der Literatur Der Fr hen Moderne
53.15 € -7 % -
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű)
24.09 € -14 % -
Sezóna pokušenia
2.12 € -36 % -
Developing the Virtues
108.04 € -
Today Ruby Will Be a Princess
21.76 € -24 % -
American Family
13.36 € -25 % -
LA DESOBEDIENCIA DE LAS PALABRAS
21.25 € -
SIMD Processing for Software Defined Radio
80.09 € -12 % -
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1
141.25 € -9 % -
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money
42.72 € -2 % -
Rechtsstaat oder Ausnahmezustand?
53.56 € -
REVOLUTIONARY TYPES
26.52 € -1 % -
American Grand Strategy and Corporate Elite Networks
224.89 € -
Frau fuhrt Regie
48.19 € -11 % -
Grundkurs Microsoft Dynamics Ax
66.11 € -6 % -
They Slept Upon Their Rifles
37.36 € -2 % -
Treatise on the Criminal Law as Now Administered in the United States, Volume 2
43.63 € -1 % -
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen
50.01 € -3 % -
Cezanne and the Post-Bionian Field
50.11 € -
Exploring Services Science
51.73 € -7 % -
Auf Digitalen Pfaden
47.28 € -6 % -
Public Transit Operations: The Strategic Professional
12.34 € -7 % -
1849 ..
21.56 € -24 % -
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate
14.77 € -2 % -
Political Extremism and Rationality
58.22 € -
Gateway to the Christian College Experience
14.07 € -6 % -
Mysterium
13.15 € -
Baustatik in Beispielen
75.43 € -6 % -
Archaeology of the Communist Era
123.63 € -7 % -
Managing Family Justice in Diverse Societies
134.26 € -
Sustainability Challenges in Sub-Saharan Africa I
90.82 € -9 % -
Be Still and Know
13.96 € -17 % -
Fauvel Studies
641.08 € -
America As I Found It. by the Mother of Mary Lundie Duncan.
32.90 € -1 % -
Biotechnology in Surgery
169.81 € -
Demystifying Meaningful Coincidences (Synchronicities)
147.12 € -
Análisis comparativo de la vulnerabilidad al cambio climático en función del género
32.09 € -14 % -
Blackforest: El secreto de la estirpe abominable
30.17 € -
Day The Mountain Cried
22.37 € -25 % -
CASIO FX-9860GII, Ausgabe Baden-Württemberg
9.31 € -
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente
29.66 € -
China, Japan and Regional Leadership in East Asia
178.11 € -
Death of an Elgin Marble
11.64 € -20 %
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 Computer-Aided Verification of Coordinating Processes
Nákupom získate 324 bodov
Anotácia knihy
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Calculus & mathematical analysis
134.06 €
- Celý názov: Computer-Aided Verification of Coordinating Processes
- Podnázov: The Automata-Theoretic Approach
- Autor: Robert P. Kurshan
- Jazyk: Angličtina
- Väzba: Pevná
- Počet strán: 284
- EAN: 9780691634890
- ISBN: 9780691634890
- ID: 01019063
- Nakladateľ: Princeton University Press
- Hmotnosť: 567 g
- Rozmery: 229 × 152 × 20 mm
- Dátum vydania: 19. April 2016
Obľúbené z iného súdka
-
Calculus Made Easy
21.76 € -24 % -
Calculus
62.16 € -7 % -
Infinite Powers: How Calculus Reveals the Secrets of the Universe
14.77 € -25 % -
Measurement
18.32 € -24 % -
Stochastic Calculus for Finance I
60.65 € -9 % -
Understanding Analysis
28.65 € -
Partial Differential Equations for Scientists and Engineers
18.32 € -24 % -
Fractional Differentiation Inequalities
103.07 € -7 % -
Partial Differential Equations
14.77 € -25 % -
Radical Approach to Lebesgue's Theory of Integration
58.22 € -
Understanding Analysis
40.49 € -9 % -
Calculus: Early Transcendentals, Metric Edition
110.47 € -
Ordinary Differential Equations
31.99 € -25 % -
Calculus Workbook For Dummies with Online Practice , Third Edition
18.32 € -24 % -
Schaum's Outline of Advanced Calculus, Third Edition
17.61 € -24 % -
Integral Equations
11.33 € -24 % -
Introductory Functional Analysis with Applications (WSE)
156.03 € -10 % -
Calculus
35.43 € -25 % -
Course in Functional Analysis
63.58 € -9 % -
Calculus For Dummies, 2nd Edition
16.90 € -24 % -
Measure, Integration & Real Analysis
61.15 € -
Introduction to Lebesgue Integration and Fourier Series
12.04 € -24 % -
Introduction to Ordinary Differential Equations
12.75 € -24 % -
Advanced Calculus of Several Variables
21.66 € -25 % -
Student's Guide to Fourier Transforms
38.37 € -
First Look at Perturbation Theory
9.31 € -24 % -
Topics in Banach Space Theory
80.70 € -9 % -
Ordinary Differential Equations and Their Solutions
18.22 € -25 % -
Programming in Haskell
43.23 € -5 % -
Calculus
85.76 € -
Differential Equations and Linear Algebra
68.24 € -10 % -
Real and Complex Analysis
221.04 € -
Finite-Dimensional Vector Spaces
11.94 € -
Mathematical Methods
85.76 € -9 % -
Applied Nonstandard Analysis
11.33 € -24 % -
Course in Functional Analysis and Measure Theory
70.67 € -9 % -
Introduction to Hilbert Space and the Theory of Spectral Multiplicity
8.60 € -24 % -
Measure, Integral and Probability
35.53 € -9 % -
Phased Arrays for Radio Astronomy, Remote Sensing, and Satellite Communications
158.26 € -
Lectures on Seiberg-Witten Invariants
41.41 € -7 % -
Analysis II
85.76 € -9 % -
Finite-Dimensional Vector Spaces
22.27 € -
Analysis on Fock Spaces
70.67 € -9 % -
Introduction to Partial Differential Equations
55.58 € -9 % -
Nonstandard Analysis for the Working Mathematician
113.40 € -7 % -
Calculus Problems, II
45.56 € -9 % -
Understanding Vector Calculus
11.33 € -25 % -
Kolmogorov-Obukhov Theory of Turbulence
51.73 € -7 % -
Sharpening Mathematical Analysis Skills
50.62 € -9 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12593 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)