Synopsis
This book provides a synthesis of four versions of programme semantics - relational semantics, predicate transformer semantics, information systems, and domain theory - showing that it is possible to do back-and-forth translation from any of these versions of programme semantics into any of the others.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
