Proceedings on mathematical methods of specification and synthesis of software system'85
Material type:
TextLanguage: English Series: Lecture notes in computer science; 215Publication details: Berlin Springer-Verlag 1986Description: 245p. cmSubject(s): DDC classification: - D65,8(B)92p1,N85, M6
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92p1,N85 M6 (Browse shelf(Opens below)) | V3: | Available | SL0954862 |
There are no comments on this title.
Log in to your account to post a comment.
