Unifying theories of programming /

Bibliographic Details
Main Author: Hoare, Charles Antony Richard, 1934-
Other Authors: He, Jifeng, 1943-
Format: Book
Language:English
Published: London : Prentice-Hall, 1998.
Series:Prentice-Hall series in computer science
Subjects: