• Challenges of software verification
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Challenges of software verificationedited by Vincenzo Arceri ... [et al.].
    其他作者: Arceri, Vincenzo.
    出版者: Singapore :Springer Nature Singapore :2023.
    面頁冊數: xv, 264 p. :ill. (some col.), digital ;24 cm.
    Contained By: Springer Nature eBook
    標題: Computer softwareVerification.
    電子資源: https://doi.org/10.1007/978-981-19-9601-6
    ISBN: 9789811996016$q(electronic bk.)
評論
Export
取書館別
 
 
變更密碼
登入