1 option
Software abstractions : logic, language and analysis / Daniel Jackson.
Van Pelt Library QA76.76.D47 J29 2006
Available
- Format:
- Book
- Author/Creator:
- Jackson, Daniel, 1963-
- Language:
- English
- Subjects (All):
- Computer software--Development.
- Computer software.
- Physical Description:
- xvi, 350 pages : illustrations ; 24 cm
- Place of Publication:
- Cambridge, Mass. : MIT Press, [2006]
- Summary:
- A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
- Notes:
- Includes bibliographical references (pages [333]-339) and index.
- Local Notes:
- Acquired for the Penn Libraries with assistance from the Engineering Book Fund.
- ISBN:
- 0262101149
- OCLC:
- 62282491
- Publisher Number:
- 9780262101141
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.