Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 edited by Dines Bjorner
By: IFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany).
Contributor(s): Bjorner, D. (Dines) | IFIP Technical Committee 2--Programming.
Material type:
BookPublisher: Amsterdam North-Holland Pub. Co. 1983Description: xii, 455 p. 23 cm.Subject(s): Formal languages | Computer programmingDDC classification: 001.64
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Matheson Library | Matheson Library | Main Collection | Main Collection | 001.642 I23f 1982 (Browse shelf) | Available | 030108 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
|
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| 001.642 H926 Databases : | 001.642 H965d Decision tables in software engineering | 001.642 I23 Formal description of programming concepts | 001.642 I23f 1982 Formal description of programming concepts--II | 001.642 J244a Advanced programming for the BBC Micro | 001.642 J244a Advanced programming for the BBC Micro | 001.642 J54s Software engineering |
"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p
0444866191
There are no comments for this item.