|  |
| |
| Artikel-Nr.:
5667A-9783030388072 Herst.-Nr.:
9783030388072 EAN/GTIN:
9783030388072 |
| |
|
| | |
| Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings Weitere Informationen: | | Author: | Luís Soares Barbosa; Alexandru Baltag | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Dynamic Logics; Pre- and post- conditions; Program Verification; epistemic logics; logic; modal and temporal logics; program reasoning; program semantics; verification, verification, Logic, Dynamic logics, Epistemic logics, Modal and temporal logics, Program semantics, Program reasoning, Pre- and post- conditions, Program verification |
| | |
| |