Logic and Semantics Seminar - 29th April 2005: John Tucker

	Logic and Semantics Seminar 29th April 2005: John Tucker

Speaker:	John Tucker, University of Wales, Swansea
Title:	Computation and Specification with Continuous Data
Time:	29th April 2005, 14:00
Venue:	William Gates Building, room FW11
Abstract:



© 2005 University of Cambridge Computer Laboratory Please send any comments to David.Richerby@cl.cam.ac.uk Page last updated on 24-Jan-2005 at 16:05 by David Richerby