Fundamental Approaches to Software Engineering
computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
Furkejuvvon:
| Materiálatiipa: | Online |
|---|---|
| Giella: | eaŋgalasgiella |
| Almmustuhtton: |
Springer Nature
2021
|
| Fáttát: | |
| Liŋkkat: | 1002202 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|
| _version_ | 1869527168849018880 |
|---|---|
| collection | Directory of Open Access Books |
| description | computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification |
| format | Online |
| id | doab-20.500.12854ir-36277 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-362772024-05-11T19:30:57Z 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 2021-02-10T12:58:18Z 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:03:50Z 2018 book 1002202 OCN: 1031397913 http://library.oapen.org/handle/20.500.12657/27803 9783319893631 https://directory.doabooks.org/handle/20.500.12854/36277 eng Theoretical Computer Science and General Issues open access image/jpeg image/jpeg image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf https://library.oapen.org/bitstream/20.500.12657/27803/1/1002202.pdf Springer Nature 10.1007/978-3-319-89363-1 10.1007/978-3-319-89363-1 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783319893631 Cham open access |
| spellingShingle | 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 Fundamental Approaches to Software Engineering |
| title | Fundamental Approaches to Software Engineering |
| title_full | Fundamental Approaches to Software Engineering |
| title_fullStr | Fundamental Approaches to Software Engineering |
| title_full_unstemmed | Fundamental Approaches to Software Engineering |
| title_short | Fundamental Approaches to Software Engineering |
| title_sort | fundamental approaches to software engineering |
| topic | 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 |
| topic_facet | 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 |
| url | 1002202 |