[Prévia] [Próxima] [Prévia por assunto] [Próxima por assunto]
[Índice cronológico] [Índice de assunto]

Invariantes e TipoOrd

Oi, pessoal.

Alguem sabe em qual livro e' possivel encontrar uma descricao da tecnica de 
analise de algoritmos por meio de invariantes? Tambem estou tentando 
localizar alguma referencia contendo  definições de estruturas de dados 
TipoOrd, etc.

Obrigado.

Patk

_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.