A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Knjige - Centre for the Study of Language & Infor - 9781575863443 - 1. septembra 2001
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja 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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 1. septembra 2001
ISBN13 9781575863443
Založniki Centre for the Study of Language & Infor
Strani 286
Dimenzije 150 × 220 × 10 mm   ·   397 g
Jezik Angleščina  

Več od Chris Brink

Prikaži vse

Mere med samme udgiver

Ogled vseh Chris Brink ( Na primer Paperback Book in Hardcover Book )