Copied Concurrency 88
Concurrency 88
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.
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
Poverty Monitoring: An International Concern
$69.95
Innovationsdarlehen als Instrument zur Frderung kleiner und mittlerer Unternehmen
$59.99
Missing Links in the Unemployment Relationship
$109.99
A Phenomenological Study of Depression in Iran
$129.99
Social Capital Theory
$64.99
Advances in Human Factors, Business Management and Leadership
$249.99
Instandhaltungsmanagement in neuen Organisationsformen
$59.99
Symbolic Dynamics and Hyperbolic Groups
$39.95
Human Creation Between Reality and Illusion
$129.00
Diamagnetic Diatomic Molecules, Part 1
$549.99
Safety and Efficacy of Non-Prescription (OTC) Analgesics and NSAIDs
$169.99
Germanides / Germanidy / mh
$54.99
Visual Revelations
$54.99
Gravitational Lensing
$84.99
Dynamics and Control of Machines
$169.99
Spielen als pdagogische Manahme
$39.99
Alien Audiences
$39.99
Reconceptualizing Early Mathematics Learning
$84.99
Climate Change and Food Security in Asia Pacific
$139.99
Distributed and Parallel Systems
$169.99
Does Frankenstein Get Hungry?
$4.46
Advanced Intelligent Computing Technology and Applications
$79.99
Complications During and After Cataract Surgery
$159.99
Reflektorische Beeinflubarkeit der Lungenatmung
$59.99
Ternary Networks
$54.99
Future Solar Energy Devices
$64.99
Rice Biology in the Genomics Era
$219.99
Contemporary Oral Oncology
$129.99
Expertensystemshell DEDUC / Wissensdynamik mit DEDUC
$69.99
Fantastic Beasts and Where to Find Them
$20.99
Urban Informatics
$59.99
Umgang mit Krisenauswirkungen in der Bauwirtschaft
$17.99
PAHs and Related Compounds
$219.99
Liebe bis zum Tod
$39.99
Psychodiagnostik sozial-kooperativen Verhaltens im Kindesalter
$64.99
Physiological Mechanisms and Adaptation Strategies in Plants Under Changing Environment
$129.00
Mechanical Properties of Materials at Low Temperatures
$39.99
Mittteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Validating Neuro-Computational Models of Neurological and Psychiatric Disorders
$84.99
Organization Development Interventions on Chinese Language Learners: A Learning Community Perspectiv
$69.99
