KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Springer Berlin Heidelberg 1995Edition: 1995ISBN: 9783540478027Subject(s): Computer ScienceOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | ICTS | Link to resource | Accessible Online | EBK17642 |
Total holds: 0
There are no comments on this title.