Program correctness over abstract data types, with error-state semantics /

Data structures with abstract data types and Pascal /
by: Stubbs, Daniel F., 1938-
Published: (1985)

Abstract data types in Java /
by: Jenkins, Michael S.
Published: (1998)

A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)

Programming abstractions in C : a second course in computer science /
by: Roberts, Eric
Published: (1998)

Data abstraction and object-oriented programming in C++ /
by: Gorlen, Keith E.
Published: (1990)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 /
Published: (1988)

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

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers /
Published: (1996)

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 /
Published: (1993)

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, 1992 : selected papers /
Published: (1994)

Qualified types : theory and practice /
by: Jones, Mark P.
Published: (1994)

Data abstraction and problem solving with C++ : walls and mirrors /
by: Carrano, Frank M.
Published: (2002)

Data abstraction & problem solving with C++ : walls & mirrors /
by: Carrano, Frank M.
Published: (2007)

Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers /
Published: (1985)

Data structures using Java /
by: Langsam, Yedidyah, 1952-
Published: (2003)

A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)

ADTs, data structures, and problem solving with C++ /
by: Nyhoff, Larry R.
Published: (2005)

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 : selected papers /
Published: (1995)

Data structures, algorithms, and performance /
by: Wood, Derick, 1940-
Published: (1993)

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types /
by: Sherman, Mark Steven
Published: (1985)

Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)

Algebraic specification /
Published: (1989)

What are data types?.
Published: (2019)

Non-primitive data types : lists, stack, queue, map.
Published: (2019)

Data types in Python.
Published: (2019)

Non-primitive data types : tupple, set, frozen set, dictionary.
Published: (2019)

Data types vs. data structures in Python.
Published: (2019)

Programming with Types /
by: Riscutia, Vlad
Published: (2019)

Algebraic specifications in software engineering : an introduction /
by: Horebeek, Ivo van, 1959-
Published: (1989)

Instructor's manual to accompany Structures and abstractions : an introduction to computer science with Pascal and Turbo Pascal, Salmon /
by: Hanscom, David
Published: (1991)

Module 2 : data types.
Published: (2017)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
Published: (1984)

Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 /
Published: (1992)

Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings /
Published: (1999)

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