Object Orientation in Z

Produktform: Buch / Einband - flex.(Paperback)

NAPAW 92

Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

Produktform: Buch / Einband - flex.(Paperback)

Z User Workshop, York 1991

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

Produktform: Buch / Einband - flex.(Paperback)

Z User Workshop, Cambridge 1994

Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994

Produktform: Buch / Einband - flex.(Paperback)

Rules in Database Systems

Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September 1993

Produktform: Buch / Einband - flex.(Paperback)

Recent Advances in Temporal Databases

Proceedings of the International Workshop on Temporal Databases, Zurich, Switzerland, 17–18 September 1995

Produktform: Buch / Einband - flex.(Paperback)

Specifications of Database Systems

International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991

Produktform: Buch / Einband - flex.(Paperback)

Deontic Logic, Agency and Normative Systems

?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

Produktform: Buch / Einband - flex.(Paperback)

Modelling Database Dynamics

Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992

Produktform: Buch / Einband - flex.(Paperback)

14th Information Retrieval Colloquium

Proceedings of the BCS 14th Information Retrieval Colloquium, University of Lancaster, 13-14 April 1992

Produktform: Buch / Einband - flex.(Paperback)