Calculational system design
Manfred Broy, Ralf Steinbrüggen · IOS Press eBooks · 1999
This volume focuses on techniques and the scientific basis for calculation-based development of software and hardware systems as a foundation for advanced methods and tools for software and system engineering.