Product Description: Modern European architecture has been characterised by a strong undercurrent of rationalist thought. Rationalist Traces aims to examine this legacy by establishing a cross-section of contemporary European architecture, placed in selected national contexts by critics including Ákos Moravánszky and Josep Maria Montaner...read more

Product Description: This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12-16,2004,in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software techn- ogy on a ?rm, mathematical basis...read more

Product Description: This volume contains papers presented at the Third International Conference on Algebraic Methodology and Sofware Technology (AMAST'93), held at the University of Twente, The Netherlands, 21-25 June 1993. The AMAST conferences aim to promote the use of algebraic methodology as a foundation for software technology, and to examine how universal algebra can provide practical mathematical alternatives to the ad hoc methods commonly used in software development...read more

Product Description: This book is concerned with the theory and techniques required in the construction and implementation of complex software systems. Improved understanding may come from developing suitable models and theories of such systems to guide appropriate experimentation...read more

Product Description: This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems...read more