Bernardo, Marco.

概要

作品:	0 作品在 6 項出版品 1 種語言

書目資訊

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: Pierantonio, Alfonso.; Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; Cortellessa, Vittorio.; SpringerLink (Online service) (書目-電子資源)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: Zavattaro, Gianluigi.; Bernardo, Marco.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Padovani, Luca. (書目-電子資源)

Formal Methods for Mobile Computing = 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: Bernardo, Marco.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Bogliolo, Alessandro. (書目-電子資源)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; Zavattaro, Gianluigi.; Degano, Pierpaolo, (1950-); SpringerLink (Online service) (書目-電子資源)

A process algebraic approach to software architecture design by: Bernardo, Marco.; Corradini, Flavio.; Aldini, Alessandro.; SpringerLink (Online service) (書目-電子資源)

Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: SpringerLink (Online service); Issarny, Valerie.; Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco. (書目-電子資源)

主題