Software Abstractions

Author

Daniel Jackson

Publish Date

2006-03-24

Subtitle

Logic, Language, and Analysis

Book Type

Hardcover

Number of Pages

350

Publisher Name

10

ISBN-10

0262101149

ISBN-13

9780262101141

citemno

098805

SKU

9780262101141