G. Zhang – författare
Visar alla böcker från författaren G. Zhang. Handla med fri frakt och snabb leverans.
4 produkter
Logic of Domains
Av G. Zhang
Inbunden, 1991
1128 kr
Lägg i varukorg
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof …
Logic of Domains
Av G. Zhang
E-bok, 2012
1459 kr
Lägg i varukorg
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof …
Logic of Domains
Av G. Zhang
Häftad, 2012
1095 kr
Lägg i varukorg
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof …
Chinese Yuan – Internationalization and Financial Products in China
Av G Zhang
2012
1347 kr
Tillfälligt slut
Few topics have attracted as much attention worldwide in recent years as the RMB. These debates have gained added urgency in light of the financial crisis and the topic of RMB revaluation is now being actively debated in countries all over the world from Tunisia to the United States. This book …
