Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language
|
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software...
Published 1991
Table of Contents:
“... theoretical view -- Construction and reuse of formal program developments -- A theory of program modifications...”
Springer Berlin Heidelberg