:quality(100))
imagem ilustrativa
Specification and verification of concurrent systems
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1990
- ISBN: 9783540195818
- Specification and verification of concurrent systems
Descrição: This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Syst... Veja mais