:quality(100))
imagem ilustrativa
Vdm 90. vdm and z - formal methods in software development
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1990
- ISBN: 9783540525134
- Vdm 90. vdm and z - formal methods in software development
Descrição: The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a f... Veja mais