H. B. M. Jonkers · 2 obras en el catálogoObrasFormal specification and designAAbstraction, specification and implementation techniques, wiAbstraction, specification and implementation techniques, with an application to garbage collection
AAbstraction, specification and implementation techniques, wiAbstraction, specification and implementation techniques, with an application to garbage collection