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
previous
|
index
|
next