Type Abstrait

15 books
Data abstraction and problem solving with C++Frank M. Carrano
⏱ 14h 24m

Data abstraction and problem solving with C++

Frank M. Carrano

1995864 pp.
Elements of functional programmingChris Reade
⏱ 10h 0m

Elements of functional programming

Chris Reade

1989600 pp.
Algebraic specifications in software engineeringIvo van Horebeek
⏱ 5h 50m

Algebraic specifications in software engineering

Ivo van Horebeek

1989350 pp.
Data abstraction and structures using C⁺⁺Mark R. Headington
⏱ 11h 1m

Data abstraction and structures using C⁺⁺

Mark R. Headington

1993661 pp.
Abstract data types in JavaMichael S. Jenkins
⏱ 4h 51m

Abstract data types in Java

Michael S. Jenkins

1998291 pp.
ParagonMark Steven Sherman
⏱ 6h 4m

Paragon

Mark Steven Sherman

1985364 pp.
Data structures via C++A. Michael Berman
⏱ 7h 51m

Data structures via C++

A. Michael Berman

1997471 pp.
Algebraic methodology and software technologyInternational Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)
⏱ 9h 4m

Algebraic methodology and software technology

International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa)

2000544 pp.
Initial computability, algebraic specifications, and partial algebrasHorst Reichel
⏱ 3h 41m

Initial computability, algebraic specifications, and partial algebras

Horst Reichel

1987221 pp.
Java collectionsDavid A. Watt
⏱ 9h 26m

Java collections

David A. Watt

2001566 pp.
Recent trends in algebraic development techniquesChristine Choppy
⏱ 7h 56m

Recent trends in algebraic development techniques

Christine Choppy

2000476 pp.
Recent trends in algebraic development techniquesWADT 2004 (2004 Barcelona, Spain)
⏱ 4h 29m

Recent trends in algebraic development techniques

WADT 2004 (2004 Barcelona, Spain)

2005269 pp.
A systematic catalogue of reusable abstract data typesJ. Uhl
⏱ 5h 44m

A systematic catalogue of reusable abstract data types

J. Uhl

1990344 pp.
Mathematical methods of specification and synthesis of software systems '85W. Bibel
⏱ 4h 5m

Mathematical methods of specification and synthesis of software systems '85

W. Bibel

1986245 pp.
Data abstraction and object-oriented programming in C₊₊Keith E. Gorlen
⏱ 6h 43m

Data abstraction and object-oriented programming in C₊₊

Keith E. Gorlen

1990403 pp.