Image from Google Jackets

Software abstractions : logic, language and analysis / Daniel Jackson.

By: Material type: TextTextPublication details: Cambridge, Mass. : MIT Press, c2006.Description: xvi, 350 p. : ill. ; 24 cmSubject(s): DDC classification:
  • 005.1 22
LOC classification:
  • QA 76.76.D47 J29 2006
Other classification:
  • 54.10
  • 54.52
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Informatics and Virtual Education Library Collection General Collection QA76.76.D47 J29 2006 (Browse shelf(Opens below)) 1-2 Available 1281
Books Books Informatics and Virtual Education Library Collection General Collection QA76.76.D47 J29 2006 (Browse shelf(Opens below)) 2-2 Available 13098

Includes bibliographical references (p. [333]-339) and index.

There are no comments on this title.

to post a comment.
© The University of Dodoma 2020