A sua busca - introduction comprehensive ((program verification) or (programming recursion)) concepts chapter* - não corresponde a nenhum registro.

Talvez deva tentar algumas variações de ortografia:
introduction comprehensive » introduction comparative
programming recursion » programming decision, programming session, programming decisions
program verification » formal verification
chapter* » chapters*

Você pode obter mais resultados ajustando o argumento de busca.