Gianluigi Zavattaro · 7 obras en el catálogoObrasCONCUR 2009 Concurrency Theory Lecture Notes in Computer ScienceWeb services and formal methodsFFormal Methods for Web ServicesFormal Methods for Web ServicesCCONCUR 2009 - Concurrency TheoryCONCUR 2009 - Concurrency TheoryCCoordination Models and LanguagesCoordination Models and LanguagesFFormal Methods for Computational Systems BiologyFormal Methods for Computational Systems BiologyFFormal Techniques for Computer Systems and Business ProcesseFormal Techniques for Computer Systems and Business Processes
FFormal Techniques for Computer Systems and Business ProcesseFormal Techniques for Computer Systems and Business Processes
