Loading...
COMP-SCI 5552
Advanced Data Structures
|
|
Formal modeling including specification and deviation of abstract data types, completeness issues in the design of data types and data structures, implementation of data structures from a formal data type specification, verification of abstract to concrete data mapping. Prerequisite(s): COMP-SCI 291 and COMP-SCI 303.
|
Faculty:
School of Computing & Engineer
|
Department:
Comp Sci & Elect Engr
|
|