Verk av Marco Bernardo
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication… (2009) 5 exemplar
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer,… (2004) 4 exemplar
Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer,… (2003) 4 exemplar
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer,… (2005) 3 exemplar
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer,… (2004) 2 exemplar
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer,… (2003) 2 exemplar
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer,… (2006) 2 exemplar
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of… (2011) 2 exemplar
Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer,… (2014) 2 exemplar
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer,… (2013) 2 exemplar
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer,… (2012) 2 exemplar
Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of… (2008) 2 exemplar
Taggad
Allmänna fakta
Det finns inga Allmänna fakta än om den här författaren. Du kan lägga till några.
Medlemmar
Statistik
- Verk
- 14
- Medlemmar
- 34
- Popularitet
- #413,653
- ISBN
- 26