The Resource Software abstractions : logic, language and analysis, Daniel Jackson, (electronic resource)

Software abstractions : logic, language and analysis, Daniel Jackson, (electronic resource)

Label
Software abstractions : logic, language and analysis
Title
Software abstractions
Title remainder
logic, language and analysis
Statement of responsibility
Daniel Jackson
Creator
Contributor
Provider
Subject
Genre
Language
eng
Cataloging source
N$T
http://library.link/vocab/creatorDate
1963-
http://library.link/vocab/creatorName
Jackson, Daniel
Illustrations
illustrations
Index
index present
LC call number
QA76.76.D47
LC item number
J29 2012eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
ebrary
http://library.link/vocab/subjectName
  • Computer software
  • COMPUTERS / Programming / Open Source
  • COMPUTERS / Software Development & Engineering / General
  • COMPUTERS / Software Development & Engineering / Tools
  • Electronic books
Label
Software abstractions : logic, language and analysis, Daniel Jackson, (electronic resource)
Instantiates
Publication
Note
Made available online by ebrary
Bibliography note
Includes bibliographical references (p. [337]-343) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Edition
Rev. ed.
Extent
1 online resource (xviii, 354 p.)
Form of item
online
Isbn
9780262300247
Isbn Type
(electronic bk.)
Lccn
2011024317
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9786613321794
Other physical details
ill.
Specific material designation
remote
Stock number
332179
System control number
  • (OCoLC)764664887
  • (OCoLC)ocn764664887
Label
Software abstractions : logic, language and analysis, Daniel Jackson, (electronic resource)
Publication
Note
Made available online by ebrary
Bibliography note
Includes bibliographical references (p. [337]-343) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Edition
Rev. ed.
Extent
1 online resource (xviii, 354 p.)
Form of item
online
Isbn
9780262300247
Isbn Type
(electronic bk.)
Lccn
2011024317
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
9786613321794
Other physical details
ill.
Specific material designation
remote
Stock number
332179
System control number
  • (OCoLC)764664887
  • (OCoLC)ocn764664887

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...