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
Author :
Publisher : Imperial College Press
Total Pages : 446
Release :
ISBN-10 : 9781783263585
ISBN-13 : 178326358X
Rating : 4/5 (58X Downloads)

Book Synopsis Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop by : Chris Hankin

Download or read book Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop written by Chris Hankin and published by Imperial College Press. This book was released on 1995-10-17 with total page 446 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


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