Gå direkt till innehållet
Logic of Domains
Spara

Logic of Domains

Lägsta pris på PriceRunner
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
2012-12-22
Sidor
260