Tallenna
Logic of Domains
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.
- Kirjailija
- G. Zhang
- Painos
- Softcover reprint of the original 1st ed. 1991
- ISBN
- 9781461267638
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.12.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 260
