Software abstractions
Subtitle: logic, language and analysis
By: Daniel Jackson.
Publisher: MIT Press
Published: 2006
Place of publication: Cambridge, Mass
Language: eng
Subjects: Computer software -- Development.
Notes: Includes bibliographical references and index.