Buscas alternativas:
specification programming » application programming (Expandir a busca), specific programming (Expandir a busca), application programing (Expandir a busca)
systems specification » systems verification (Expandir a busca), systems identification (Expandir a busca), system identification (Expandir a busca)
parameters systems » parameter systems (Expandir a busca)
specification programming » application programming (Expandir a busca), specific programming (Expandir a busca), application programing (Expandir a busca)
systems specification » systems verification (Expandir a busca), systems identification (Expandir a busca), system identification (Expandir a busca)
parameters systems » parameter systems (Expandir a busca)
3
4
“... specification in which parameters are used to abstract variables, such as in predicates and functions. In the...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese