Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
著者
書誌事項
Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop
Imperial College Press , Distributed by World Scientific, c1995
大学図書館所蔵 全4件
注記
At head of title: Imperial College, Department of Computing
Includes bibliographical references and index
内容説明・目次
内容説明
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.
「Nielsen BookData」 より