A Paradigm for Program Semantics: Power Structures and Duality (Stanford Linguistics Association) - Tapa dura

Brink, Chris; Rewitsky, Ingrid

 
9781575863450: A Paradigm for Program Semantics: Power Structures and Duality (Stanford Linguistics Association)
Tapa dura
ISBN 10: 1575863456 ISBN 13: 9781575863450
Editorial: Centre for the Study of Language & Information, 2001

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Biografía del autor

Chris Brink was vice-chancellor of Newcastle University from 2007 to 2016

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Centre for the Study of Language & Information
Año de publicación
2001
Idioma
Inglés
ISBN 10 
1575863456
ISBN 13 
9781575863450
Encuadernación
Tapa dura
Número de páginas
286
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781575863443: A Paradigm for Program Semantics: Power Structures and Duality (Studies in Logic, Language, and Information)

Edición Destacada

ISBN 10:  1575863448 ISBN 13:  9781575863443
Editorial: Centre for the Study of Language..., 2001
Tapa blanda