skip to main
|
skip to sidebar
Especificação Formal em Z
quarta-feira, 19 de novembro de 2008
Comando: Reduce
1. Usa invoke
2. Usa frule
3. Usa grule
4. Usa rules
Nenhum comentário:
Postar um comentário
Postagem mais recente
Postagem mais antiga
Página inicial
Assinar:
Postar comentários (Atom)
Usuários on-line
<
Arquivo do blog
▼
2008
(17)
►
junho
(3)
►
julho
(8)
►
outubro
(2)
▼
novembro
(4)
Comando: Simplify
Comando: Trivial rewrite
Comando: Reduce
Comando: Rewrite
►
2009
(5)
►
julho
(2)
►
novembro
(3)
►
2010
(4)
►
setembro
(4)
►
2013
(2)
►
junho
(2)
►
2017
(2)
►
outubro
(2)
►
2018
(1)
►
maio
(1)
Quem sou eu
diegodias
Ver meu perfil completo
Nenhum comentário:
Postar um comentário