Formal Methods in Systems Design

Código CCN: 095378-4


ISSN (Online): 0925-9856
País: Não informado
出版商: Kluwer Academic Publishers
Imprenta: Boston, Mass.: Kluwer Academic Publishers, 2001
主题: INFORMATICA
Área de numeração: Vol. 1, No. 1 (July 1992)-

Coleção 2.0