Logic of domains
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Boston u.a.
Birkhäuser
1991
|
| Schriftenreihe: | Progress in theoretical computer science
|
| Schlagworte: |
Langages de programmation - Sémantique
> Logique symbolique et mathématique
> domaine SFP
> logique mathématique
> logique symbolique
> sémantique dénotationnelle
> sémantique langage programmation
> théorie domaine
> Logic, Symbolic and mathematical
> Programming languages (Electronic computers)
> Semantics
> Attributwertebereich
> Logik
> Semantischer Bereich
> Semantik
> Programmiersprache
> Funktionale Semantik
> Mathematische Logik
> Hochschulschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Literaturverz. S. 251 - 256. - Zugl. revision of: Cambridge, Univ., Diss., 1989 |
|---|---|
| Beschreibung: | 259 S. graph. Darst. |
| ISBN: | 081763570X 0-8176-3570-X 376433570X 3-7643-3570-X |