A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Boeken - Centre for the Study of Language & Infor - 9781575863443 - 1 september 2001
Indien omslag en titel niet overeenkomen, is de titel correct

A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information 1e uitgave


Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen
Voeg toe aan uw iMusic-verlanglijst

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 september 2001
ISBN13 9781575863443
Uitgevers Centre for the Study of Language & Infor
Pagina's 286
Afmetingen 150 × 220 × 10 mm   ·   397 g
Taal en grammatica Engels  

Meer door Chris Brink

Alles tonen

Mere med samme udgiver