The aim of this workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. Commonalities between variou...

Computer aided systems theory is urgently needed for the design of software for CAD. New generation workstations together with the methods and tools o...

The book contains the proceedings of the First Symposium on the Design and Implementation of Large Spatial Database (SDD'89), which was held about 175...

Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuri...

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of...