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