Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335) - Image 1

£44.80

Springer Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Name: Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)
Brand: Springer
Price: 44.74 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 79 days • 79 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 79 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (79 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 79 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540504036
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 12 October 1988
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

Concurrency Control in Distributed Database Systems (Volume 3) (Studies in Computer Science and Artificial Intelligence, Volume 3)

Concurrency: The Works of Leslie Lamport (ACM Collection II)

Advances in Computing and Communications, Part II: First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part II: 191 ... in Computer and Information Science, 191)

Distributed System Design

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems: 283 (The Springer International Series in Engineering and Computer Science, 283)

Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings: 4695 (Lecture Notes in Computer Science, 4695)

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings: 186 (Smart Innovation, Systems and Technologies, 186)

Algorithms and Architectures for Parallel Processing: 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings: 5574 (Lecture Notes in Computer Science, 5574)

Data Prefetching Techniques in Computer Systems: Volume 125 (Advances in Computers, Volume 125)

Performance, Reliability, and Availability Evaluation of Computational Systems, Volume 2: Reliability, Availability Modeling, Measuring, and Data Analysis

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Transaction Management: Managing Complex Transactions and Sharing Distributed Databases

Functional and Concurrent Programming: Core Concepts and Features

Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014, Proceedings: 8337 (Lecture Notes in Computer Science, 8337)

Programming Environments for Massively Parallel Distributed Systems: Working Conference of the IFIP WG 10.3, April 25–29, 1994 (Monte Verita)

Fundamentals of Grid Computing: Theory, Algorithms and Technologies (Chapman & Hall/Crc Numerical Analysis and Scientific Computing)

Introduction to Distributed Self-Stabilizing Algorithms (Synthesis Lectures on Distributed Computing Theory)

Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)

Modelling and Implementation of Complex Systems: Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, ... 1 (Lecture Notes in Networks and Systems, 1)

Advanced Methods and Applications in Computational Intelligence: 6 (Topics in Intelligent Engineering and Informatics, 6)

Proceedings of the European Computing Conference: Volume 2: 28 (Lecture Notes in Electrical Engineering, 28)