AboutSign inJoin

Mario Bravetti

About

Some information is missing for this author.

Books

Software Engineering and Formal Methods
Software Engineering and Formal Methods
Mario Bravetti, Mercedes G. Merayo, Robert M. Hierons
CONCUR 2009 - Concurrency Theory
CONCUR 2009 - Concurrency Theory
Gianluigi Zavattaro, Mario Bravetti
Web Services and Formal Methods
Web Services and Formal Methods
Mario Bravetti, Tevfik Bultan
Web Services and Formal Methods
Web Services and Formal Methods
Mario Bravetti, Tevfik Bultan
Formal Techniques for Computer Systems and Business Processes
Formal Techniques for Computer Systems and Business Processes
Gianluigi Zavattaro, Mario Bravetti, Leila Kloul
Formal Techniques for Computer Systems and Business Processes
Formal Techniques for Computer Systems and Business Processes
Mario Bravetti

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian