1002198.pdf
artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
Γλώσσα: | English |
---|---|
Έκδοση: |
Springer Nature
2018
|
Διαθέσιμο Online: | https://link.springer.com/book/10.1007/978-3-319-89366-2 |
Παρόμοια τεκμήρια
-
Dealing_PDF.pdf
Έκδοση: (2018) -
9781350263390_PDF.pdf
Έκδοση: (2023) -
moter_PDF.pdf
Έκδοση: (2021) -
MTP_PDF.pdf
Έκδοση: (2019) -
Final PDF.pdf
Έκδοση: (2021)