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 /
Geoffrey Burn, Simon Gay, and Mark Ryan (eds.).

Description

Meeting Name

Imperial College Department of Computing Workshop on Theory and Formal Methods Chelwood Gate, England) 1993 : (1st :

Related Names

Ryan, Mark, 1962-
Gay, Simon, 1969-
Burn, Geoffrey.
British Computer Society.
Imperial College of Science, Technology and Medicine. Department of Computing.

Language(s)

English

Published

London ; Springer-Verlag, c1993.

Subjects

Computer programming > Computer programming / Congresses.

Note

"Published in collaboration with the British Computer Society."
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.

Physical Description

viii, 325 p. : ill. ; 24 cm.

ISBN

3540198423
0387198423

Locate a Print Version

Find in a library

Viewability