Rigorous Software Development
An Introduction to Program Verification
Almeida, José Bacelar ; Pinto, Jorge S. ; Melo de Sousa, Simão ; Frade, Maria J. 2011 Springer London
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/1009324934
- Titel
- Rigorous Software Development : An Introduction to Program Verification
- Art des Inhalts
- Monographie
- Autor(en)
- Verlag
- London : Springer London [2011]
- Jahr
- Erscheinungsdatum: 2011
- Umfang/Format
- Online-Ressource
- ISBN/Einband/Preis
9780857290182- DOI
- 10.1007/978-0-85729-018-2
- Online
- https://doi.org/10.1007/978-0-85729-018-2
- Sprache
- ger
- Anmerkungen
- Lizenzpflichtig
- Stand
- 02.12.2017 18:47
- Im Katalog seit
- 06.03.2026