Software abstractions [electronic resource] : logic, language and analysis / Daniel Jackson.
By: Jackson, Daniel.
Material type: BookPublisher: Cambridge, Mass. : MIT Press, ©2006Description: 1 online resource.Content type: text Media type: unmediated Carrier type: volumeISBN: 9780262101141.Call No.: QA76.76.D47 J29 2006 Subject(s): Computer software -- DevelopmentOnline resources: Electronic Resources Bibliography, etc. Note: Includes bibliographical references (p. [333]-339) and index.No physical items for this record
Includes bibliographical references (p. [333]-339) and index.
There are no comments for this item.