Ana Cristina Vieira de Melo
Résultats: Montrant 10 de 21 à l'page 2 de 3
Nom
Titre
Domaine
Document
Unité
Année
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
Résultats: Montrant 10 de 21 à l'page 2 de 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. Tous droits réservés.