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 ... [et al.], eds.
- Author
- International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.)
- Publication
- Berlin ; New York : Springer-Verlag, c1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 94-1772 | Offsite |
Details
- Additional Authors
- Brookes, S. D. (Stephen D.)
- Description
- ix, 648 p.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 802
- Subject
- Note
- Proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 94-1772
- ISBN
- 0387580271 (U.S. : acid-free paper)
- LCCN
- 94012047
- OCLC
- 30319885
- NYPGR30319885-B
- Conference
- International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.)
- Title
- Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], eds.
- Imprint
- Berlin ; New York : Springer-Verlag, c1994.
- Series
- Lecture notes in computer science ; 802
- Bibliography
- Includes bibliographical references.
- Added Author
- Brookes, S. D. (Stephen D.)
- Research Call Number
- JSE 94-1772