Cover Image

CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings /

Show other versions (1)

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....

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Vogt, F. H. (Friedrich H.), 1943-
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag, 1988.
Series:Lecture notes in computer science ; 335.
Subjects:
Computer science.
Software engineering.
Logic design.
Database management.
Artificial intelligence.
Programming Techniques.
Software Engineering.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Search Result 1
Cover Image
Published 1988
Conference Proceeding Book
Show all versions (2)