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

By:

Dijkstra, Edsger W, 1930-2002 [aut]

Contributor(s):

Scholten, Carel S, 1925-2009 [oth]
Dijkstra, Edsger W, 1930-2002 [oth]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts and monographs in computer sciencePublisher: New York ; Heidelberg [u.a.] : Springer, 1990Description: X, 220 S : Ill ; 25 cmISBN:

3540969578
0387969578

Subject(s):

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

DDC classification:

511.3

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

QA9.35

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

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	90 A 1071	Available		45880674090

Total holds: 0

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)