Vista normal
Vista MARC
Lenguajes de computación (Término temático)
Machine generated authority record.
Work cat.: (UTC): Pita Andreu, María Isabel. 16562, Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura, 2003.