Books · Search
Digital libraries · Case studies
Digital libraries
2004
Computer software
The Software life cycle
1990
Electronic data processing · Standards
Formal methods in standards
Electronic data processing · Data processing
Computing for non-scientific applications
1987
10
2008
Semantics of Specification Languages (Sosl)
1994
Theory and Practice of Program Development
1997
2012
Water Vole Mitigation Handbook
2016
Development · Formal methods (Computer science)
Practical formal methods with VDM
1991
Development · Computer programming
A theory and practice of program development
Accelerating Pace of Change to Our Troubled World
2014
Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)
