Copied Modeling and Verification of Parallel Processes
Modeling and Verification of Parallel Processes
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Ernhrungsempfehlungen fr Krebskranke in Behandlung
$84.99
Zellteilung und Strahlung
$59.99
"Streit und Frieden hat seine Zeit"
$39.99
The Great 1667 Dalmatia Earthquake
$54.99
Memory, Identity and Cognition: Explorations in Culture and Communication
$99.99
Introduction to Statistics Using R
$64.99
The SAGES Manual of Colorectal Surgery
$119.99
Humanities World Report 2015
$31.00
Controlled Genetic Manipulations
$84.99
Experimental Methods in Neuropsychology
$84.99
Schreiben lernen, schreibend lernen
$29.99
Biochemistry of Silicon and Related Problems
$109.99
Einflu der Reaktion, insbesondere des Bodens, auf die Fortentwicklung des Rotlauf- bzw. Murisepticu
$54.99
Dynamics: Models and Kinetic Methods for Non-equilibrium Many Body Systems
$219.99
Hydrocarbon Potential in Southeastern United States
$64.99
Anti-Communist Minorities in the U.S
$54.99
Rntgenographische Chemie
$44.99
The Making of Informal States
$54.99
Explorations in Post-Secular Metaphysics
$54.99
Supply Chain Finance
$129.99
Probleme der biologischen Reduplikation
$69.99
Company Law
$54.99
Integrating 3D Modeling, Photogrammetry and Design
$64.99
ESEC '89
$39.99
Haptics for Virtual Reality and Teleoperation
$84.99
Technology and Globalisation
$249.99
Switched Time-Delay Systems
$169.99
The Exclusionary Rule of Illegal Evidence in China
$129.99
Nationalism in International Relations
$54.99
Coleridge and the Psychology of Romanticism
$169.99
Design Thinking Research
$139.99
Untersuchungen ber die Schnellverbrennung und Schnellvergasung fester Brennstoffe
$59.99
Gabler Kleines Lexikon Wirtschaft
$59.99
Studium und Arbeitstechniken der Politikwissenschaft
$39.99
Mehr Verkaufserfolg durch Selbstcoaching
$29.99
ffentliche Heizkraftwerke und Elektrizittswirtschaft in Stdten
$84.99
Einfhrung in die Informations- und Codierungstheorie
$39.99
Fluorescenz und Phosphorescenz im Lichte der Neueren Atomtheorie
$59.99
Management of Early Stage Breast Cancer
$109.99
Kundenbindung bei Professional Business Services
$54.99
