Normal view MARC view ISBD view

Software abstractions : logic, language and analysis

By: Jackson, Daniel.
Material type: materialTypeLabelBookPublisher: Cambridge: MIT Press, 2006Description: xvi, 350 p.; ill.: 23 cm.ISBN: 0262101149 .Subject(s): Computer software Development | Model diagrams | Unifief modeling language | Vienna development methodDDC classification: 005.1
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha