An edition of Software abstractions (2006)

Software abstractions

logic, language and analysis

by

  • 0 Ratings
  • 3 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Software abstractions by Daniel Jackson
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 3 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

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

Software abstractions

logic, language and analysis

by

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

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

Publish Date
Publisher
MIT Press
Language
English
Pages
350

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Development, Computer software, Computer software, development

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Software abstractions
Software abstractions: logic, language and analysis
2006, MIT Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

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

Published in
Cambridge, Mass

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
LCCN
2005056155
OCLC/WorldCat
62282491

Source records

Library of Congress MARC record
Internet Archive item record
Better World Books record
Library of Congress MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 7, 2023 Edited by MARC Bot import existing book
January 14, 2023 Edited by ImportBot import existing book
December 23, 2021 Edited by ImportBot import existing book
September 28, 2021 Edited by ImportBot import existing book
December 11, 2020 Edited by MARC Bot import existing book