Formal aspects of component software...
Clark Conference ((2005 :)

 

  • Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    杜威分類號: 004.0151
    書名/作者: Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers // edited by Ivan Lanese, Eric Madelaine.
    其他作者: Lanese, Ivan.
    團體作者: Clark Conference
    出版者: Cham : : Springer International Publishing :, 2015.
    面頁冊數: x, 385 p. : : ill., digital ;; 24 cm.
    Contained By: Springer eBooks
    標題: Formal methods (Computer science)
    標題: Component software
    標題: Computer Science.
    標題: Software Engineering.
    標題: Mathematical Logic and Formal Languages.
    標題: Logics and Meanings of Programs.
    標題: Programming Languages, Compilers, Interpreters.
    標題: Programming Techniques.
    標題: Management of Computing and Information Systems.
    ISBN: 9783319153179 (electronic bk.)
    ISBN: 9783319153162 (paper)
    摘要、提要註: This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches; and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.
    電子資源: http://dx.doi.org/10.1007/978-3-319-15317-9
評論
Export
取書館別
 
 
變更密碼
登入