Bernardo, Marco.

概要

作品:	1 作品在 3 項出版品 1 種語言

書目資訊

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.; Bogliolo, Alessandro.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2005 :) (書目-語言資料,印刷品)

Formal methods for software architectures = Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: Bernardo, Marco.; SpringerLink (Online service); Inverardi, Paola.; International School on Formal Methods for the Design of Computer, Communication and Software Systems (2003 :) (書目-語言資料,印刷品)

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: Bernardo, Marco.; Degano, Pierpaolo, (1950-); Zavattaro, Gianluigi.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2008 :) (書目-語言資料,印刷品)

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: Bernardo, Marco.; Zavattaro, Gianluigi.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2009 :); Padovani, Luca. (書目-語言資料,印刷品)

A process algebraic approach to software architecture design by: Bernardo, Marco.; SpringerLink (Online service); Aldini, Alessandro.; Corradini, Flavio. (書目-語言資料,印刷品)

Formal methods for the design of real-time systems = International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / by: Bernardo, Marco.; SpringerLink (Online service); Corradini, Flavio.; International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2004 :) (書目-語言資料,印刷品)

主題