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

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 95-103Offsite

Details

Additional Authors
  • Andrews, Derek.
  • Groote, J. F. (Jan Frisco), 1965-
  • Middelburg, Cornelis A.
  • British Computer Society.
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
View in Legacy Catalog