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

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