Software abstractions logic, language and analysis

Software abstractions logic, language and analysis

Bibliographic Details
Main Author: Jackson, Daniel
Format: Book
Language:English
Published: Cambridge, Mass. MIT Press c2006.
Subjects:
Computer software > Development.