|
|
|
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Inhalt: |
| 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. |
|
i.d.R. innert 14-24 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
