Risultati della ricerca - "Abstract data types (Computer science)"

  1. 1
    Copertina

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

    Pubblicazione 1994
    Libro

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

    Pubblicazione ©1996
    Libro

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

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

    Pubblicazione 1988
    Libro

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

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

    Pubblicazione 1988
    Libro

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

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

    Pubblicazione ©1989
    Libro

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

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

    Pubblicazione ©1989
    Libro

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

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

    Pubblicazione ©2004
    Libro

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

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

    Pubblicazione ©1990
    Libro

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

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

    Pubblicazione ©1998
    Libro

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    Abstract data types in standard ML / Rachel Harrison.

    Pubblicazione c1993
    Libro

    Aggiungi alla lista
    Salvato in:
  11. 11
    Copertina

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

    Pubblicazione ©1993
    Libro

    Aggiungi alla lista
    Salvato in:
  12. 12
    Copertina

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

    Pubblicazione 2005
    Libro

    Aggiungi alla lista
    Salvato in:
  13. 13
    Copertina

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

    Pubblicazione ©1993
    Libro

    Aggiungi alla lista
    Salvato in:
  14. 14
    Copertina

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

    Pubblicazione 1994
    Libro

    Aggiungi alla lista
    Salvato in:
  15. 15
    Copertina

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

    Pubblicazione ©1995
    Libro

    Aggiungi alla lista
    Salvato in:
  16. 16
    Copertina

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

    Pubblicazione c1985
    Libro

    Aggiungi alla lista
    Salvato in:
  17. 17
    Copertina

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

    Pubblicazione ©2003
    Libro

    Aggiungi alla lista
    Salvato in:
  18. 18
    Copertina

    Data structures, algorithms, and performance / Derick Wood.

    Pubblicazione ©1993
    Libro

    Aggiungi alla lista
    Salvato in:
  19. 19
    Copertina

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

    Pubblicazione ©1998
    Libro

    Aggiungi alla lista
    Salvato in:
  20. 20
    Copertina

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

    Pubblicazione 1983
    Libro

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: