Skip to content

Home Practice Lessons About

Mario Bravetti

Books

Software Engineering and Formal Methods
Web services and formal methods
Formal Techniques for Computer Systems and Business Processes
Behavioral Types in Programming Languages
CONCUR 2009 - Concurrency Theory

Author data: Open Library

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