This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, Fran...
WOPPLOT 86 - Workshop on Parallel Processing: Logic, Organization and Technology - gathered together experts from various fields for a broad overview...
Provides an account of the research into, and application of the Vienna Development Method (VDM), one of the most widely known "formal methods".
Presents algebraic and geometric algorithms to deal with a specific problem, which frequently occurs in model-based robotics systems and is of utmost...
