Software abstractions
Subtitle: logic, language and analysis
By: Daniel Jackson
Edition: Rev. ed.
Publisher: MIT Press
Published: 2012
Place of publication: Cambridge, MA
Language: eng
ISBN-13: 9780262017152
Subjects: Development; Computer software
Notes: Includes bibliographical references and index.