Reihe Workshops in ComputingSpringer Berlin × 5th Refinement WorkshopProceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992Springer BerlinSoftcover199253,49 € Object Orientation in Z Springer BerlinSoftcover199253,49 € Formal Aspects of MeasurementProceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991Springer BerlinSoftcover199253,49 € Code Generation — Concepts, Tools, TechniquesProceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991Springer BerlinSoftcover199253,49 € Z User Workshop, York 1991Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991Springer BerlinSoftcover199253,49 € Functional Programming, Glasgow 1991Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991Springer BerlinSoftcover199253,49 € Declarative Programming, Sasbachwalden 1991PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991Springer BerlinSoftcover199253,49 € Building Interactive SystemsArchitectures and ToolsSpringer BerlinSoftcover199253,49 € Logic Program Synthesis and TransformationProceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of ManchesterSpringer BerlinSoftcover199253,49 € Specifications of Database SystemsInternational Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991Springer BerlinSoftcover199253,49 €68 Treffer 1 2 3 4 5 6 7