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.

Contributor(s): Chroust, Gerhard, 1941- | Neuhold, Erich J | IFIP Technical Committee 2--ProgrammingPublisher: 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).
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Home library Shelving location Call number URL Status Notes Date due Barcode Item holds
Book 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).

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.