Predicate calculus and program semantics / Edsger W. Dijkstra; Carel S. Scholten

Von:

Dijkstra, Edsger W, 1930-2002 [aut]

Mitwirkende(r):

Scholten, Carel S, 1925-2009 [oth]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts and monographs in computer scienceVerlag: New York ; Heidelberg [u.a.] : Springer, 1990Beschreibung: X, 220 S : Ill ; 25 cmISBN:

3540969578
0387969578

Schlagwörter:

Prädikatenlogik
Programm
Programmiersprache
Semantik
Prädikatenumformer
Programming languages (Electronic computers)
Predicate calculus

DDC-Klassifikation:

511.3

MSC: MSC: *68Q60 | 68Q55 | 68-02 | 03B70RVK: RVK: ST 140LOC-Klassifikation:

QA9.35

Call number: Grundsignatur: 90 A 1071PPN: PPN: 025239511

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Standort	Signatur	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	90 A 1071	Verfügbar	45880674090

Anzahl Vormerkungen: 0