Software abstractions
Subtitle: logic, language and analysis
By: Daniel Jackson
Publisher: MIT Press
Published: 2006
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 350
ISBN-13: 9780262101141
Subjects: Development; Computer software
Notes: Includes bibliographical references (p. [333]-339) and index.