Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 / edited by E.J. Neuhold and G. Chroust.
Publisher: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985Description: xix, 425 p. : ill. ; 23 cmISBN: 0444878882 (Elsevier) :Subject(s): Zemanek, Heinz | Computer programming -- CongressesDDC classification: 005.1,FOR
Contents:
about the architecture of my life (Page-1), Awards of Heinz Zemanek (Page -9), publications by Zemanek (Page-11), Subject areas of publications (Page-27), Invited and submitted papers (Page-31).
| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.1,FOR (Browse shelf) | Link to resource | Available | Almirah No.3, Shelf No.4 | MCS776 |
Total holds: 0
about the architecture of my life (Page-1), Awards of Heinz Zemanek (Page -9), publications by Zemanek (Page-11), Subject areas of publications (Page-27), Invited and submitted papers (Page-31).

Book
There are no comments on this title.