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

H.B.M. Jonkers

    Research output: Book/ReportBookAcademic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherStichting Mathematisch Centrum
    Number of pages317
    Publication statusPublished - 1983

    Publication series

    NameMathematical Centre tracts
    Volume166

    Cite this

    Jonkers, H. B. M. (1983). Abstraction, specification and implementation techniques : with an application to garbage collection. (Mathematical Centre tracts; Vol. 166). Stichting Mathematisch Centrum.