Αποτελέσματα αναζήτησης - Amal Ahmed
Σχετικά θέματα
QA75.5-76.95
artificial intelligence
bic Book Industry Communication::U Computing & information technology::UY Computer science
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
systems verification
theorem proving
type