Runtime verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / edited by Howard Barringer ... [et al.]

• 作者： RV 2010 (2010 : San Giljan, Malta)
• 其他作者：
  • Barringer, Howard.
  • SpringerLink (Online service)
• 其他題名：
  • Springer eBooks
  • RV 2010
  • First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings
• 出版： Berlin, Heidelberg : Springer Berlin Heidelberg 2010
• 叢書名： Lecture notes in computer science ; ,6418
• 主題： Computer programs--Verification--Congresses. , Formal methods (Computer science)--Congresses. , Computer programs--Testing--Congresses. , Computer science , Software engineering. , Algorithm Analysis and Problem Complexity. , Logics and Meanings of Programs. , Programming Techniques. , Programming Languages, Compilers, Interpreters. , Mathematical Logic and Formal Languages.
• ISBN： 9783642166129 (electronic bk.) 、 9783642166112 (paper)
• URL： 電子書
  
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 系統號： 005177608 | 機讀編目格式