Livro: Formal methods at the crossroads - Não Informado

imagem ilustrativa

Salvar edição

Não informado | 2003

Descrição: This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoft... Veja mais

Formal methods at the crossroads