Image from Amazon.com
Software engineering 2: specification of systems and languages / Dines Bjorner
Material type:
TextSeries: Texts in theoretical computer science . An EATCS seriesPublication details: Berlin : Springer, 2006Description: 777 p. : ill. ; 24 cmISBN: - 3540211500
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB GAMBANG | QA 76.758 .B56 2006 (Browse shelf(Opens below)) | 1 | Available | 0000017556 |