Research Catalog

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

Title
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes [and others], eds.
Publication
Berlin ; New York : Springer-Verlag, [1994], ©1994.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.7 .M38 1994Off-site

Holdings

Details

Additional Authors
  • Brookes, S. D. (Stephen D.)
  • International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.)
Description
ix, 648 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 802
Uniform Title
Lecture notes in computer science ; 802.
Subject
Programming languages (Electronic computers) > Semantics > Congresses
Note
  • Proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics.
Bibliography (note)
  • Includes bibliographical references.
LCCN
94012047
OCLC
ocm30319885
Owning Institutions
Columbia University Libraries