Zoekresultaten - "Abstract data types (Computer science)"

  1. 1
    Beeld op de omslag

    Qualified types : theory and practice / Mark P. Jones.

    Gepubliceerd in 1994
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  2. 2
    Beeld op de omslag

    Abstract data types : their specification, representation, and use / Pete Thomas, Hugh Robinson, and Judy Emms.

    Gepubliceerd in 1988
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  3. 3
    Beeld op de omslag

    Recent tends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1987, proceedings / D. Sannella, A Ta...

    Gepubliceerd in 1988
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  4. 4
    Beeld op de omslag

    Specification of abstract data types / Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf.

    Gepubliceerd in ©1996
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  5. 5
    Beeld op de omslag

    Algebraic specification / edited by J.A. Bergstra, J. Heering, P. Klint.

    Gepubliceerd in ©1989
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  6. 6
    Beeld op de omslag

    Algebraic specifications in software engineering : an introduction / Ivo van Horebeek, Johan Lewi.

    Gepubliceerd in ©1989
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  7. 7
    Beeld op de omslag

    Algebraic methodology and software technology : 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / Charles Rattray, Savitri Maharaj...

    Gepubliceerd in ©2004
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  8. 8
    Beeld op de omslag

    A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid.

    Gepubliceerd in ©1990
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  9. 9
    Beeld op de omslag

    Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.).

    Gepubliceerd in ©1998
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  10. 10
    Beeld op de omslag

    Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Pete...

    Gepubliceerd in 2005
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  11. 11
    Beeld op de omslag

    Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : s...

    Gepubliceerd in ©1995
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  12. 12
    Beeld op de omslag

    Abstract data types in standard ML / Rachel Harrison.

    Gepubliceerd in c1993
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  13. 13
    Beeld op de omslag

    Live data structures in logic programs : derivation by means of abstract interpretation / Anne Mulkers.

    Gepubliceerd in ©1993
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  14. 14
    Beeld op de omslag

    Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 199...

    Gepubliceerd in 1994
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  15. 15
    Beeld op de omslag

    Data structures with abstract data types and Pascal / Daniel F. Stubbs and Neil W. Webre.

    Gepubliceerd in c1985
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  16. 16
    Beeld op de omslag

    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...

    Gepubliceerd in ©1993
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  17. 17
    Beeld op de omslag

    Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsin...

    Gepubliceerd in ©2003
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  18. 18
    Beeld op de omslag

    Data structures, algorithms, and performance / Derick Wood.

    Gepubliceerd in ©1993
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  19. 19
    Beeld op de omslag

    Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems / Frédéric Geurts.

    Gepubliceerd in ©1998
    Boek

    Toevoegen aan favorieten
    Bewaard in:
  20. 20
    Beeld op de omslag

    Bibliography on abstract data types / B. Kutzler, F. Lichtenberger.

    Gepubliceerd in 1983
    Boek

    Toevoegen aan favorieten
    Bewaard in:

Zoekinstrumenten: