1002265.pdf
artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software e...
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
Springer Nature
2018
|
| Διαθέσιμο Online: | https://link.springer.com/book/10.1007/978-3-319-89884-1 |
| Περίληψη: | artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software engineering specifications; theorem proving; type; systems verification |
|---|
