Research Catalog
Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993
- Title
- Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 / D.J. Andrews, J.F. Groote, and C.A. Middelburg, eds.
- Author
- International Workshop on Semantics of Specification Languages (1993 : Utrecht, Netherlands)
- Publication
- London ; 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 95-103 | Offsite |
Details
- Additional Authors
- Description
- viii, 355 p.; 24 cm.
- Series Statement
- Workshops in computing
- Subject
- Programming languages (Electronic computers) > Semantics > Congresses
- Note
- "Published in collaboration with the British Computer Society."
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 95-103
- ISBN
- 0387198547 (New York : acid-free paper)
- 3540198547 (Berlin : acid-free paper)
- LCCN
- 94002518
- OCLC
- 29846150
- Conference
- International Workshop on Semantics of Specification Languages (1993 : Utrecht, Netherlands)
- Title
- Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 / D.J. Andrews, J.F. Groote, and C.A. Middelburg, eds.
- Imprint
- London ; New York : Springer-Verlag, c1994.
- Series
- Workshops in computing
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Andrews, Derek.Groote, J. F. (Jan Frisco), 1965-Middelburg, Cornelis A.British Computer Society.
- Research Call Number
- JSE 95-103