Reihe Workshops in ComputingSpringer London × Declarative Programming, Sasbachwalden 1991PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991Springer LondoneBook201353,49 € Designing Correct CircuitsWorkshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, OxfordSpringer LondoneBook201353,49 € Z User Workshop, Oxford 1990Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990Springer LondoneBook201353,49 € Formal Methods for Trustworthy Computer Systems (FM89)Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, HalifSpringer LondoneBook201353,49 € Specification and Verification of Concurrent Systems Springer LondoneBook201353,49 € First International Workshop on LarchProceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992Springer LondoneBook201353,49 € Interfaces to Database Systems (IDS94)Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 199Springer LondoneBook201353,49 € 7th UK Computer and Telecommunications Performance Engineering WorkshopEdinburgh, 22–23 July 1991Springer LondoneBook201353,49 € ALPUK91Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991Springer LondoneBook201353,49 € Object Orientation in Z Springer LondoneBook201353,49 €68 Treffer 1 2 3 4 ...
