A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Libros - Centre for the Study of Language & Infor - 9781575863443 - 1 de septiembre de 2001
En caso de que portada y título no coincidan, el título será el correcto

Chris Brink
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information 1.º edición

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

286 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de septiembre de 2001
ISBN13 9781575863443
Editores Centre for the Study of Language & Infor
Páginas 286
Dimensiones 150 × 220 × 10 mm   ·   397 g
Lengua Inglés  

Mas por Chris Brink

Mostrar todo

Mere med samme udgiver

Ver todo de Chris Brink ( Ej. Paperback Book y Hardcover Book )