Details
Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
287,00 € |
|
Verlag: | Imperial College Press |
Format: | |
Veröffentl.: | 17.10.1995 |
ISBN/EAN: | 9781783263493 |
Sprache: | englisch |
Anzahl Seiten: | 444 |
DRM-geschütztes eBook, Sie benötigen z.B. Adobe Digital Editions und eine Adobe ID zum Lesen.
Beschreibungen
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.