4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

Produktform: Buch / Einband - flex.(Paperback)

Logic Program Synthesis and Transformation

Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

Produktform: Buch / Einband - flex.(Paperback)

Algebra of Communicating Processes

Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994

Produktform: Buch / Einband - flex.(Paperback)

Active and Real-Time Database Systems (ARTDB-95)

Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995

Produktform: Buch / Einband - flex.(Paperback)

Semantics of Specification Languages (SoSL)

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

Produktform: Buch / Einband - flex.(Paperback)

Z User Workshop, London 1992

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

Produktform: Buch / Einband - flex.(Paperback)

Specification and Verification of Concurrent Systems

Produktform: Buch / Einband - flex.(Paperback)

Hypermedia Design

Proceedings of the International Workshop on Hypermedia Design (IWHD’95), Montpellier, France, 1–2 June 1995

Produktform: Buch / Einband - flex.(Paperback)

Advances in Databases and Information Systems

Proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS’95), Moscow, 27–30 June 1995

Produktform: Buch / Einband - flex.(Paperback)

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: Buch / Einband - flex.(Paperback)