Normal view
MARC view
Computer software Development. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Classen, Ingo. 3348, Algebraic specification techniques and tools for software development, [2019], c1993.