previous
|
index
|
next
Questions To Ask About Computational Processes
How do we describe or specify them?
Formal languages
How do we prove that a process has a particular effect?
Verification
How do we choose a process from among several that achieve the same effect?
Efficiency Analysis
previous
|
index
|
next