Roberto Bruni
Roberto Bruni
5 ספרים במאגר
ספרים
Models of ComputationRoberto Bruni
Models of Computation
Roberto Bruni · 2017
Trustworthy Global ComputingRoberto Bruni
Trustworthy Global Computing
Roberto Bruni · 2012
Formal Techniques for Distributed SystemsRoberto Bruni
Formal Techniques for Distributed Systems
Roberto Bruni · 2011
Trustworthy Global Computing 6th International Symposium Revised Selected PapersRoberto Bruni
Trustworthy Global Computing 6th International Symposium Revised Selected Papers
Roberto Bruni · 2012
Web Services and Formal MethodsRoberto Bruni
Web Services and Formal Methods
Roberto Bruni · 2009