Sequential abstract-state machines capture sequential algorithms. Author: Yuri Gurevich. Microsoft Research, Redmond, WA.
確定! 回上一頁