Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop

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

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.

• Format: Hardcover
• Language: English
• ISBN: 186094003X
• ISBN13: 9781860940033
• Release Date: October 1995
• Publisher: Imperial College Press
• Length: 444 Pages