Predicate Calculus and Program Semantics
Dijkstra, Edsger W. ; Scholten, Carel S. 1990 Springer New York
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/101529314X
- Titel
- Predicate Calculus and Program Semantics
- Art des Inhalts
- Monographie
- Autor(en)
- Verlag
- New York, NY : Springer New York [1990]
- Jahr
- Erscheinungsdatum: 1990
- Umfang/Format
- Online-Ressource
- ISBN/Einband/Preis
9781461232285- DOI
- 10.1007/978-1-4612-3228-5
- Online
- https://doi.org/10.1007/978-1-4612-3228-5
- Sprache
- ger
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- Lizenzpflichtig
- Stand
- 21.08.2023 19:34
- Im Katalog seit
- 06.03.2026