Cover of: Software abstractions | Daniel Jackson
Preview

Buy this book

Last edited by Clean Up Bot
December 11, 2020 | History
An edition of Software abstractions (2006)

Software abstractions

logic, language and analysis

  • 0 Ratings
  • 2 Want to read
  • 0 Currently reading
  • 0 Have read

This edition was published in by MIT Press in Cambridge, Mass.

Written in English

350 pages

This edition doesn't have a description yet. Can you add one?

Previews available in: English

Edition Availability
Cover of: Software abstractions
Software abstractions: logic, language and analysis
2006, MIT Press
in English

Add another edition?

Software abstractions

logic, language and analysis

This edition was published in by MIT Press in Cambridge, Mass.


Edition Notes

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

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.76.D47 J29 2006

The Physical Object

Pagination
xvi, 350 p. :
Number of pages
350

ID Numbers

Open Library
OL24901029M
Internet Archive
softwareabstract00jack_096
ISBN 10
0262101149, 0262101159
ISBN 13
9780262101141
LC Control Number
2005056155
OCLC/WorldCat
62282491

Lists containing this Book

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 11, 2020 Edited by Clean Up Bot import existing book
August 26, 2020 Edited by ImportBot import existing book
January 26, 2018 Edited by ImportBot import new book
July 29, 2011 Created by LC Bot Imported from Library of Congress MARC record.