Software Re-use, Utrecht 1989

Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Security and Persistence

Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Z User Workshop, London 1992

Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Z User Workshop, York 1991

Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Specification and Verification of Concurrent Systems

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Incompleteness and Uncertainty in Information Systems

Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Functional Programming, Glasgow 1994

Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Algebraic Methodology and Software Technology (AMAST’93)

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Semantics of Specification Languages (SoSL)

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

Produktform: E-Buch Text Elektronisches Buch in proprietärem