海量图书期刊资源,随时随地畅享阅读乐趣
Safety in grammatical protection systemsTimothy A. Budd · 1983
Shape dynamics in 2Timothy Budd, Tim Koslowski · 2012
An implementation of generators in CTimothy A. Budd · 1982
Program testing by specification mutationTimothy A. Budd; Ajei S. Gopal · 1985
An APL Compiler || Why A Compiler ?Budd, Timothy · 1988
An APL Compiler || The Inferencing PassBudd, Timothy · 1988
An APL Compiler || Structural FunctionsBudd, Timothy · 1988