Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
Download or Read eBook Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop PDF 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.
| Author | : Chris Hankin |
| Publisher | : Imperial College Press |
| Total Pages | : 446 |
| Release | : 1995-10-17 |
| ISBN-10 | : 9781783263585 |
| ISBN-13 | : 178326358X |
| Rating | : 4/5 (85 Downloads) |
Book Synopsis Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop by : Chris Hankin
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.
