Theory and Formal Methods 1993 : 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 /

The Theory and Formal Methods Section of the Imperial College Department of Computing has an international reputation for research into the foundations of computer science, and the application of this theory to real computing problems. In March 1993 it held the first in a proposed series of workshop...

Full description

Bibliographic Details

Main Author:	Burn, Geoffrey
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gay, Simon, Ryan, Mark
Format:	eBook
Language:	English
Published:	London : Springer London : Imprint : Springer, 1993.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book