Ana Cristina Vieira de Melo
Resultados: Listando 10 de 21 en la página 2 de 3
Nombre
Título
Área
Documento
Facultad
Año
Transactional web service pattern validation
Programming with monoidal profunctors and semiarrows
A framework for exception handling coordination in fault-tolerant systems
not available
not available
not available
Verification of behaviourist multi-agent systems by means of formally guided sim...
not available
A formalization of a startup finance transaction model using Alloy
not available
Resultados: Listando 10 de 21 en la página 2 de 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. Todos los derechos reservados.