javier cámara
Estudio sobre incarceración vítrea en esclerotomías tras vitrectomía
Print on DemandOBJETIVO: Evaluar la influencia que la técnica de extracción canular ejerce sobre la incarceració...
Assurances for Self-Adaptive Systems
Print on DemandInhaltsangabeModel Checking Adaptive Software with Featured Transition Systems.- Probabilistic Ve...
Software Engineering and Formal Methods
Print on DemandThe volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated ...
Formal Aspects of Component Software
Print on DemandThis book constitutes the refereed proceedings of the 19th International Conference on Formal Asp...
- 1