Skip to contents

  6. Loeckx, Jacques [Author]; Ehrich, Hans-Dieter [Author]; Wolf, Markus [Author]

    Specification of abstract data types

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Stuttgart: Teubner, 1996 ; Chichester [u.a.]: Wiley Teubner, 1996

    Published in: Wiley-Teubner computing

  9. Haveraaen, Magne [Editor] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 11 1995 Oslo, COMPASS 8 1995 Oslo

    Recent trends in data type specification : selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1996

    Published in: Lecture notes in computer science ; 1130

  10. Bidoit, Michel [Editor] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 8 1991 Dourdan, COMPASS 3 1991 Dourdan

    Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1993

    Published in: Lecture notes in computer science ; 655

  11. Ehrig, Hartmut [Editor] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 9 1992 Caldas de Malavella, COMPASS 4 1992 Caldas de Malavella

    Recent trends in data type specification : selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1994

    Published in: Lecture notes in computer science ; 785

  16. Astesiano, Egidio [Editor]; Reggio, Gianna [Other]; Tarlecki, Andrzej [Other] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development, Workshop on Specification of Abstract Data Types 10 1994 Santa Margherita Ligure, COMPASS Workshop 5 1994 Santa Margherita Ligure

    Recent trends in data type specification : selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1995

    Published in: Lecture notes in computer science ; 906

  17. Bergstra, J. A. [Other]; Heering, J. [Other]; Klint, Paul [Other]; Bergstra, Jan A. [Editor]

    Algebraic specification - [1. printed]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Wokingham, England [u.a.]: Addison-Wesley [u.a.], 1989

    Published in: ACM Press frontiers series

  18. Fokkink, Willem J. [Author]

    Modelling distributed systems : with 7 tables

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Texts in theoretical computer science : an EATCS series