Predicate calculus and program semantics
Dijkstra, Edsger W. ; Scholten, Carel S. 1990 Springer
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/900552530
- Titel
- Predicate calculus and program semantics
- Art des Inhalts
- Monographie
- Verfassangaben
- Edsger W. Dijkstra ; Carel S. Scholten
- Autor(en)
- Verlag
- New York : Springer [1990]
- Jahr
- Erscheinungsdatum: 1990
- Umfang/Format
- X, 220 S.
- ISBN/Einband/Preis
9783540969570- Online
- https://d-nb.info/900552530/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Stand
- 21.08.2023 19:28
- Im Katalog seit
- 06.03.2026