AboutSign inJoin

Marco Bernardo

About

Some information is missing for this author.

Books

Formal Methods for Software Architectures
Formal Methods for Software Architectures
Marco Bernardo, Paola Paola
Formal Methods for Mobile Computing
Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Herbert Wiklicky, Alessandra Di Pierro
Formal Methods for Web Services
Formal Methods for Web Services
Gianluigi Zavattaro, Marco Bernardo, Luca Padovani
Computer Performance Engineering
Computer Performance Engineering
Alessandro Aldini, Vittorio Cortellessa, Marco Bernardo, Luciano Bononi
Formal Methods for Model-Driven Engineering
Formal Methods for Model-Driven Engineering
Vittorio Cortellessa, Marco Bernardo, Alfonso Pierantonio
Computer Performance Engineering
Computer Performance Engineering
Alessandro Aldini, Vittorio Cortellessa, Marco Bernardo, Luciano Bononi
Formal Methods for Performance Evaluation
Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston
Formal Methods for Executable Software Models
Formal Methods for Executable Software Models
Ina Schaefer, Marco Bernardo, Einar Broch Johnsen, Ferruccio Damiani, Reiner Haehnle
Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny

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