Œuvres de Marco Bernardo
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication… (2009) 5 exemplaires
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer,… (2004) 4 exemplaires
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer,… (2003) 4 exemplaires
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer,… (2005) 3 exemplaires
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer,… (2004) 2 exemplaires
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer,… (2003) 2 exemplaires
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer,… (2006) 2 exemplaires
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of… (2011) 2 exemplaires
Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer,… (2014) 2 exemplaires
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer,… (2013) 2 exemplaires
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer,… (2012) 2 exemplaires
Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of… (2008) 2 exemplaires
Étiqueté
Partage des connaissances
Il n’existe pas encore de données Common Knowledge pour cet auteur. Vous pouvez aider.
Membres
Statistiques
- Œuvres
- 14
- Membres
- 34
- Popularité
- #413,653
- ISBN
- 26