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

First International Workshop on Larch

Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

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

Building Interactive Systems

Architectures and Tools

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