Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
Innbundet /
1995
/ Engelsk
Produktdetaljer
ISBN
9781860940033
Publisert
1995-10-01
Utgiver
Vendor
Imperial College Press
Aldersnivå
UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
444
Redaktør
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.
Les mer
The papers in this text are taken from the Second Imperial Workshop, held in Cambridge, 1994. The focus was on the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations.
Les mer
Produktdetaljer
ISBN
9781860940033
Publisert
1995-10-01
Utgiver
Vendor
Imperial College Press
Aldersnivå
UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
444
Redaktør