Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

READABOOK BY ALKEM Verified independent store

→

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. Th e 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: HardcoverNo of Pages: 444Imprint: Imperial College PressPublication date: 19951001 Show more