Abstraction, specification and implementation techniques : with an application to garbage collection

H.B.M. Jonkers

Research output: Book/Report › Book › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Stichting Mathematisch Centrum
Number of pages	317
Publication status	Published - 1983

Name	Mathematical Centre tracts
Volume	166

Cite this

TY - BOOK

T1 - Abstraction, specification and implementation techniques : with an application to garbage collection

AU - Jonkers, H.B.M.

PY - 1983

Y1 - 1983

UR - http://oai.cwi.nl/oai/asset/13025/13025A.pdf

M3 - Book

T3 - Mathematical Centre tracts

BT - Abstraction, specification and implementation techniques : with an application to garbage collection

PB - Stichting Mathematisch Centrum

CY - Amsterdam

ER -