Cover Image

Logic of domains /

Show other versions (1)
Bibliographic Details
Main Author: Zhang, Guo-Qiang, 1960-
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Boston : Birkhauser, 1991.
Series:Progress in theoretical computer science.
Subjects:
Programming languages (Electronic computers) > Semantics.
Logic, Symbolic and mathematical.
logique symbolique.
Logique mathématique.
domaine SFP.
théorie domaine.
sémantique dénotationnelle.
sémantique langage programmation.
Langages de programmation > Sémantique.
Logique symbolique et mathématique.
Semantischer Bereich.
Programmiersprache.
Funktionale Semantik.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.7 .Z47 1991
 
Call Number Status Get It
QA76.7 .Z47 1991 Available