This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 198...

The International Workshop CG '88 on "Computational Geometry" was held at the University of Wurzburg, FRG, March 24-25, 1988. As the interest in the f...

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22...

This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally...

This volume contains the proceedings of the 1988 SEI Conference on Software Engineering Education. The Software Engineering Institute (SEI) is a Unite...