Skip to main content
CUI Libraries
Your cart is empty.
Cart
Lists
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All libraries
COMSATS University Abbottabad Campus
COMSATS University Abbottabad, Dhamtor Campus
COMSATS University Attock Campus
COMSATS University Lahore Campus
COMSATS University Sahiwal Campus
COMSATS University Vehari Campus
COMSATS University Wah Campus
Junaid Zaidi Library
Junaid Zaidi Library, COMSATS University Islamabad
Junaid Zaidi Library
Advanced search
Browse by hierarchy
Authority search
Tag cloud
Subject cloud
Libraries
Log in to your account
×
Log in with Google
If you do not have a Google account, but do have a local account, you can still log in:
Login:
Password:
Forgot your password?
Home
Results of search for 'au:"Jackson, Daniel,"'
Refine your search
Availability
Limit to currently available items
Authors
Jackson, Daniel
Home libraries
COMSATS University Attock Campus
Junaid Zaidi Library, COMSATS University Islamabad
Item types
Books
Locations
Ground Floor
Topics
computer science
Computer software
Your search returned 2 results.
Not what you expected? Check for
suggestions
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Place hold
Results
1.
Software abstractions
[Book] :
logic, language, and analysis /
Daniel Jackson.
by
Jackson, Daniel
, 1963-
Edition:
Rev. ed.
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Cambridge, Mass. :
MIT Press,
c2012
Availability:
Items available for loan:
Junaid Zaidi Library, COMSATS University Islamabad
(1)
Call number:
005.1 JAC-S
.
Place hold
Add to cart
(remove)
2.
Software abstractions
[Book] :
logic, language, and analysis
Daniel Jackson.
by
Jackson, Daniel
Edition:
Revised edition.
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Cambridge, Mass. :
MIT Press,
c2012
Availability:
Items available for loan:
COMSATS University Attock Campus
(1)
Call number:
005.1 JAC-S 10291
.
Place hold
Add to cart
(remove)
Pages