Software Engineering: Specification, Implementation, Verification
Alagić, Suad 2017 Springer International Publishing
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1139944355
- Titel
- Software Engineering: Specification, Implementation, Verification
- Art des Inhalts
- Monographie
- Autor
- Alagić, Suad
- 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
9783319615189- DOI
- 10.1007/978-3-319-61518-9
- Online
- https://doi.org/10.1007/978-3-319-61518-9
- Sprache
- ger
- Schlagwörter
-
- Software Verication
- Software Engineering
- Object Constraint Language
- data management
- constraint language
- (Springer Nature Subject Collection)SUCO11645: Computer Science
- (Springer Nature Marketing Classification)B
- (Springer Nature Subject Code)SCI14029: Software Engineering
- (Springer Nature Subject Code)SCI14037: Programming Languages, Compilers, Interpreters
- (Springer Nature Subject Code)SCI18016: Models and Principles
- Anmerkungen
- Lizenzpflichtig
- Stand
- 19.09.2022 03:09
- Im Katalog seit
- 06.03.2026