Skip to content

Home Practice Lessons About

Roberto Bruni

Books

Web Services and Formal Methods
Trustworthy Global Computing 6th International Symposium Revised Selected Papers
Trustworthy Global Computing
Models of Computation
Formal Techniques for Distributed Systems

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.