Data & IT
Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
C Hankin I Mackie • Chris Hankin • I MacKie • Rajagopal Nagarajan • I MacKie
Inbunden
3379:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
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.
- Format: Inbunden
- ISBN: 9781860940033
- Språk: Engelska
- Antal sidor: 444
- Utgivningsdatum: 1995-10-01
- Förlag: Imperial College Press