[직수입양서]
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm
[ Paperback ]
Bernardo, Marco / De, Erik / Di Pierro, Alessandra
Springer
[직수입양서]
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,
[ Paperback ]
Bernardo, Marco / Padovani, Luca / Zavattaro, Gianluigi
Springer
[직수입양서]
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M
[ Paperback ]