Voltar
Livro
BIBTEX RIS

ZB 2002:Formal Specification and Development in Z and B

Springer Link; Linguagem: Português

Referência(s)