Visit our Christmas Gift Finder
Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings - Lecture Notes in Computer Science 335 (Paperback)
  • Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings - Lecture Notes in Computer Science 335 (Paperback)
zoom

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

(editor)
£78.50
Paperback 404 Pages / Published: 12/10/1988
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540504030
Number of pages: 404
Weight: 1270 g
Dimensions: 235 x 155 x 21 mm
Edition: Specification Languages Models for Distribute

You may also be interested in...

The Nature of Software Development
Added to basket
Coaching Agile Teams
Added to basket
Designing Data-Intensive Applications
Added to basket
The Algorithm Design Manual
Added to basket
Git Pocket Guide
Added to basket
Peopleware
Added to basket
£33.49
Paperback
The Art of Unit Testing
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Succeeding with Agile
Added to basket
£38.49
Paperback
Design Patterns
Added to basket
£44.49
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Crystal Clear
Added to basket
£29.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback
Agile Product Management with Scrum
Added to basket
User Stories Applied
Added to basket
£40.49
Paperback

Please sign in to write a review

Your review has been submitted successfully.