Books > Computing & IT > Applications of computing > Databases
|
Buy Now
Concurrency 88 - International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Paperback, Specification Languages Models for Distributed Systems Verification and Validation Knowledge)
Loot Price: R1,753
Discovery Miles 17 530
|
|
Concurrency 88 - International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Paperback, Specification Languages Models for Distributed Systems Verification and Validation Knowledge)
Series: Lecture Notes in Computer Science, 335
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.