Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ...

Name: Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ...
ISBN: 9783642019173

Marco Bernardo , Gianluigi Zavattaro , Luca Padovani

还没有评分