Ergebnisse filtern
-
- 68
- 68
-
- 34
- 34
- 12
- 13
- 13
- 14
- 8
- 8
-
- 133
- 3
-
- 130
- 6
-
- 136
-
- 136
-
- 136
- 1
-
Craigen 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, Halifax, Canada1. Auflage. 1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19635-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nicholls / Bowen Z User Workshop, London 1992
Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19818-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wing / Martin First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19804-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lau / Clement Logic Program Synthesis and Transformation
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 19911. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19742-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shaw / Morris 4th Refinement Workshop
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge1. Auflage. 1991Verlag: SpringerISBN: 978-3-540-19657-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Took / Gray Building Interactive Systems
Architectures and Tools1. Auflage. 1992Verlag: SpringerISBN: 978-3-540-19736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deville Logic Program Synthesis and Transformation
Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993Softcover Nachdruck of the original 1. Auflage 1994Verlag: SpringerISBN: 978-3-540-19864-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hammond / Turner / Sansom Functional Programming, Glasgow 1994
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 19941995Verlag: SpringerISBN: 978-1-4471-3573-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Albano / Morrison Persistent Object Systems
Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3209-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Wiggins / Mellish / Duncan ALPUK91
Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3546-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Beeri / Ohori / Shasha Database Programming Languages (DBPL-4)
Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30 August–1 September 1993Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3564-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lipeck / Thalheim 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 1992Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3554-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Deville Logic Program Synthesis and Transformation
Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3234-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Jones / Sheeran Designing Correct Circuits
Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, OxfordErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3544-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Atkinson / Maier / Benzaken Persistent Object Systems
Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-2122-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Nicholls Z User Workshop, Oxford 1990
Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3540-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Dusink / Hall Software Re-use, Utrecht 1989
Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The NetherlandsErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3536-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Zwarico / Purushothaman NAPAW 92
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992Softcover Nachdruck of the original 1. Auflage 1993Verlag: SpringerISBN: 978-3-540-19822-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hall / Dusink Software Re-use, Utrecht 1989
Proceedings of the Software Re-use Workshop, 23-24 November 1989, Utrecht, The Netherlands1. Auflage. 1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19652-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thalheim / Lipeck 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 19921. Auflage. 1993Verlag: SpringerISBN: 978-3-540-19803-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rosenberg / Keedy Security and Persistence
Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West GermanyErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3178-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Kwiatkowska / Shields / Thomas Semantics for Concurrency
Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UKErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3860-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Nicholls Z User Workshop, London 1992
Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3556-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Broda ALPUK92
Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3421-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Darlington / Dietrich Declarative Programming, Sasbachwalden 1991
PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-3794-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort