Abstract data types and Processes by Woodcock, J, Davies, J, Bolton, C

Obfuscation of Abstract Data−Types by Drape, S

Replication Methods for Abstract Data Types by Herlihy, Maurice Peter

Get full text

Data structures with abstract data types and Pascal / by 421278 Stubbs, David F., Webre, Neil W.

Subjects:

Introduction to abstract data types using ADA / by 447346 Hillam, Bruce P.

Subjects: “…Abstract data types (Computer science)…”

Data structures with abstract data types and Pascal / by 421278 Stubbs, David F., Webre, Neil W.

Subjects:

Abstract Data Types in Stack Based Languages by Moss, J. Eliot B.

“…Abstract data types are the basis of an emerging methodology of computer programming. …”
Get full text

Towards a Theory for Abstract Data Types by Kapur, Deepak

Get full text

Implementation of Abstract Data Types in Dynamic Sketches for Learning Geometry by Egle JASUTE, Valentina DAGIENE

Subjects: “…abstract data type…”
Get full text

Automatic Synthesis of Implementations for Abstract Data Types from Algebraic Specifications by Srivas, Mandayam K.

“…Algebraic specifications have been used extensively to prove properties of abstract data types and to establish the correctness of implementations of data types. …”
Get full text

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clement F., Gross, Jason S., Chlipala, Adam

“…We focus on the synthesis of abstract data types that package methods with private data. …”
Get full text
Get full text
Get full text
Get full text

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant by Delaware, Benjamin James, Pit-Claudel, Clément, Gross, Jason S., Chlipala, Adam

“…We focus on the synthesis of abstract data types that package methods with private data. …”
Get full text
Get full text
Get full text
Get full text

Data structures in Java : from abstract data types to the Java Collections Framework / by Gray, Simon (Simon James McLean)

Data structures, algorithms and performance / by 329214 Wood, Derick

Subjects:

Data abstraction and problem solving with C++ : walls and mirrors / by 308587 Carrano, Frank M., Helman, Paul, Veroff, Robert

Subjects:

Data abstraction and problem solving with C++ : walls and mirrors/ by 308587 Carrano, Frank M.

Subjects:

Data abstraction and problem solving with C++ : walls and mirrors / by 308587 Carrano, Frank M.

Subjects:

Data abstraction and problem solving with C++ : walls & mirrors / by 308587 Carrano, Frank M., Henry, Timothy

Subjects:

Data Abstraction & Problem Solving with C++ : Walls and Mirrors / by Carrano, Frank M., author, Henry, Timothy, author

Subjects:

Fundamentals of computing II : abstraction, data structures, and large software systems / by Tucker, Allen B.

Subjects: