A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Knihy - Centre for the Study of Language & Infor - 9781575863443 - 01. septembra 2001
V prípade, že obal a názov nesedia, platí názov

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

Dostávať e-mail, keď bude položka k dispozícii
Do you have a profile? Prihlásiť sa

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 01. septembra 2001
ISBN13 9781575863443
Vydavatelia Centre for the Study of Language & Infor
Strany 286
Rozmery 150 × 220 × 10 mm   ·   397 g
Jazyk Angličtina  

Viac od Chris Brink

Zobraziť všetko

Mere med samme udgiver

Pozrieť všetko od Chris Brink ( napr. Paperback Book a Hardcover Book )