Provably Correct Systems
Hinchey, Mike ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger 2017 Springer International Publishing
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1126645141
- Titel
- Provably Correct Systems
- Art des Inhalts
- Monographie
- Autor(en)
- Organisation(en)
-
- Springer International Publishing
- Auflage
- 1st edition 2017
- Verlag
- Cham : Springer International Publishing [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressourcen
- ISBN/Einband/Preis
9783319486284- DOI
- 10.1007/978-3-319-48628-4
- Online
- https://doi.org/10.1007/978-3-319-48628-4
- Sprache
- ger
- Schlagwörter
-
- Provably correct systems
- Software correctness
- formal methods
- logic
- theory of computation
- (Springer Marketing Classification)B
- (Springer Subject Code)SCI14010: Programming Techniques
- (Springer Subject Code)SCI1603X: Logics and Meanings of Programs
- (Springer Subject Code)SCI16048: Mathematical Logic and Formal Languages
- (Springer Subject Code)SCI18016: Models and Principles
- (Springer Subject Collection)SUCO11645: Computer Science
- Anmerkungen
- Lizenzpflichtig
- Stand
- 21.02.2018 00:38
- Im Katalog seit
- 06.03.2026