Gå direkt till innehållet
Logic of Domains
Spara

Logic of Domains

129,80 €
This monograph studies the logical aspects of domains as used in de­ notational semantics of programming languages. Part I SFP Domains Chapter 1 Introduction This chapter provides a brief exposition to domain theory, denotational se­ mantics, program logics, and proof systems.
Författare
G. Zhang
Upplaga
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267638
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
22.12.2012
Sidor
260