Theory and formal methods : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
| Corporate Authors: | , , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
London ; New York :
Springer-Verlag,
[1993]
|
| Series: | Workshops in computing.
|
| Subjects: |
| Item Description: | Papers based on proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, held at Chelwood Gate, Sussex, UK, 1993. "Published in collaboration with the British Computer Society." |
|---|---|
| Physical Description: | viii, 325 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 0387198423 (New York : acid-free paper) 3540198423 (Berlin : acid-free paper) |