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 22-27, 2003 : advanced lectures

著者

• Bernardo, Marco
• Inverardi, Paola
• International School on Formal Methods for the Design of Computer, Communication and Software Systems

書誌事項

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 22-27, 2003 : advanced lectures

Marco Bernardo, Paola Inverardi (eds.)

（Lecture notes in computer science, 2804）

Springer, c2003

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA6383438X
• ISBN:
  • 3540200835
• LCCN: 2003060987
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: vi, 285 p.
• 大きさ: 24 cm
• 件名:
  • LCSH : Computer software
  • LCSH : Computer architecture
  • LCSH : System design
  • LCSH : Formal methods (Computer science)
• 親書誌ID:
  • BA00009279