Corradini, Flavio.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
A process algebraic approach to software architecture design
by:
Aldini, Alessandro.; Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service)
(書目-電子資源)
Formal methods for the design of real-time systemsInternational 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:
(1998 :); Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service)
(書目-電子資源)