ISBN: 9781575863443 - a paradigm for program semantics: power structures and duality (studies in logic, language, and information) (1 resultados)
de Chris Brink y C. Brink
A Paradigm for Program Semantics: Power Structures and Duality
C. Brink; Ingrid Rewitzky; Ingrid M. Rewitsky (Lecturer in Mathematics, University of Cape Town, South Africa)
Idioma: Inglés
Editorial: Centre for the Study of Language & Information, 2002
- Tapa blanda
Librería: Asano Bookshop, Nagoya, AICHI, JaponAsano Bookshop
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 26,21
Envío por EUR 33,03Se envía de Japon a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Brand New. This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.…
