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