1002202.pdf
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Γλώσσα: | English |
---|---|
Έκδοση: |
Springer Nature
2018
|
Διαθέσιμο Online: | https://link.springer.com/book/10.1007/978-3-319-89363-1 |
id |
oapen-20.500.12657-27803 |
---|---|
record_format |
dspace |
spelling |
oapen-20.500.12657-278032024-03-23T11:30:12Z Fundamental Approaches to Software Engineering Russo, Alessandra Schürr, Andy computer software maintenance computer software selection and evaluation formal logic formal methods formal specification programming languages semantics software engineering specifications verification thema EDItEUR::U Computing and Information Technology::UY Computer science computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:03:50Z 2020-04-01T12:03:50Z 2018 book 1002202 OCN: 1031397913 9783319893631 http://library.oapen.org/handle/20.500.12657/27803 eng Theoretical Computer Science and General Issues application/pdf Attribution 4.0 International 1002202.pdf https://link.springer.com/book/10.1007/978-3-319-89363-1 Springer Nature 10.1007/978-3-319-89363-1 10.1007/978-3-319-89363-1 6c6992af-b843-4f46-859c-f6e9998e40d5 9783319893631 10802 Cham open access |
institution |
OAPEN |
collection |
DSpace |
language |
English |
description |
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification |
title |
1002202.pdf |
spellingShingle |
1002202.pdf |
title_short |
1002202.pdf |
title_full |
1002202.pdf |
title_fullStr |
1002202.pdf |
title_full_unstemmed |
1002202.pdf |
title_sort |
1002202.pdf |
publisher |
Springer Nature |
publishDate |
2018 |
url |
https://link.springer.com/book/10.1007/978-3-319-89363-1 |
_version_ |
1799945284833247232 |