IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /

This volume contains the papers presented at a workshop held at Banff, Canada, 10-14 September 1990, which gathered together researchers interested in applying higher order techniques to: reasoning about concurrency, specifying and reasoning about synchronous circuits (specifically butterfly circuit...

Full description

Bibliographic Details

Main Author:	Birtwistle, G. M. (Graham M.)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 1991.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book