A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Kirjat - Centre for the Study of Language & Infor - 9781575863443 - lauantai 1. syyskuuta 2001
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Vastaanota sähköposti kun titteli on saatavilla
Onko sinulla profiili? Kirjaudu sisään
Saat ilmoituksen artistin Chris Brink uusista julkaisuista

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 1. syyskuuta 2001
ISBN13 9781575863443
Tuottaja Centre for the Study of Language & Infor
Sivujen määrä 286
Mitta 150 × 220 × 10 mm   ·   397 g
Kieli Englanti  

Lisää tuotteita Chris Brink

Näytä kaikki

Lisää samalta julkaisijalta

Katso kaikki joka sisältää Chris Brink ( Esim. Paperback Book Ja Hardcover Book )