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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Delmore Schwartz
$54.99
Economics of Grids, Clouds, Systems, and Services
$69.99
The Evolving Universe
$129.00
Conceptualizing and Innovating Education and Work with Networked Learning
$109.00
EU Internet Law in the Digital Era
$149.00
Alternating Current Social Innovation in Community Energy
$99.99
Hydrogen in Disordered and Amorphous Solids
$219.99
Advanced Analysis
$54.99
More Java 17
$59.99
Computational Intelligence for Multimedia Understanding
$54.99
Tragwerke aus Aluminium
$44.99
Optimization, Control, and Applications in the Information Age
$109.99
Beyond WikiLeaks
$54.99
Generalized Quantifiers and Computation
$39.99
Allianzen in der Markenfhrung
$79.99
Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites, Volume 2
$109.99
Revitalizing Minority Languages
$39.99
The Challenge of Late Industrialization
$130.00
Roman Triumphs and Early Modern English Culture
$39.99
Die krankhaften Geschwlste
$44.99
Lebensweltorientierung und Autismus
$69.99
Secrets of the Whales by Brian Skerry
$35.00
Towards Intelligent Engineering and Information Technology
$329.99
Social Identities in Revolutionary Russia
$109.99
Cell Biology and Translational Medicine, Volume 17
$169.99
Dynamical Systems
$49.95
Captain Bun & Super Bonbon
$5.99
The Positioning and Making of Female Professors
$139.99
Die Bedeutung historischer Vogelnamen - Singvgel
$49.99
Alternative Logics. Do Sciences Need Them?
$169.99
Aromatic Hydroxyketones: Preparation & Physical Properties
$549.99
Phenomenology, New Materialism, and Advances In the Pulsatile Imaginary
$139.99
Evolutionary and Memetic Computing for Project Portfolio Selection and Scheduling
$169.99
BBC micro:bit Recipes
$54.99
Aggregation Functions: A Guide for Practitioners
$169.99
Computational Peptidology
$39.99
Selected Areas in Cryptography -- SAC 2014
$54.99
Physics and Contemporary Needs
$39.99
Feminisms and Women's Movements in Contemporary Europe
$109.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
