Zum Inhalt springen

  1. Loeckx, Jacques [VerfasserIn]; Ehrich, Hans-Dieter [VerfasserIn]; Wolf, Markus [VerfasserIn]

    Specification of abstract data types

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Wiley-Teubner computing

  3. Ehrig, Hartmut [VerfasserIn]; Mahr, Bernd [VerfasserIn]

    Fundamentals of algebraic specification

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 1985-

    Erschienen in: EATCS monographs on theoretical computer science ; .

  5. Ehrig, Hartmut [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 785

  10. Johnson, Michael [HerausgeberIn]; Pavlovic, Dusko [Sonstige Person, Familie und Körperschaft] ; AMAST 13 2010 Lac Beauport

    Algebraic methodology and software technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 6486

  11. Meseguer, José [HerausgeberIn]; Roşu, Grigore [Sonstige Person, Familie und Körperschaft] ; AMAST 12 2008 Urbana, Ill

    Algebraic methodology and software technology : 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 5140

  12. Johnson, Michael [HerausgeberIn]; Vene, Varmo [Sonstige Person, Familie und Körperschaft] ; AMAST 11 2006 Kuressaare

    Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5 - 8, 2006 : proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4019

  14. Haveraaen, Magne [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 1130

  15. Bidoit, Michel [HerausgeberIn] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 655

  17. Ehrig, Hartmut [HerausgeberIn] ; Workshop on Specification of Abstract Data Types 7 1990 Wusterhausen/Dosse

    Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 534

  18. Bert, Didier [HerausgeberIn]; Choppy, Christine [Sonstige Person, Familie und Körperschaft]; Mosses, Peter [Sonstige Person, Familie und Körperschaft] ; WADT 14 1999

    Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York [u.a.]: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 1827

  20. Wirsing, Martin [HerausgeberIn]; Pattinson, Dirk [HerausgeberIn]; Hennicker, Rolf [HerausgeberIn] ; WADT 16 2002 Chiemsee-Frauenchiemsee

    Recent trends in algebraic development techniques : 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 2755