Software Engineering: specification of systems and languages, Vol. 2 D. Bjorner
Material type: TextPublication details: Berlin Springer Verlag 2006Description: xxiv, 777pISBN: 3540211500Subject(s): Software EngineeringDDC classification: 005.1 BJOItem type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
REFERENCE BOOK | LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 005.1 BJO (Browse shelf (Opens below)) | Copy 1 | Not for loan | 014739 |
Total holds: 0
There are no comments on this title.