Tools and algorithms for the constru...
(1998 :)

 

  • Tools and algorithms for the construction and analysis of systems27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.Part I /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Tools and algorithms for the construction and analysis of systemsedited by Jan Friso Groote, Kim Guldstrand Larsen.
    其他題名: 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.
    其他題名: TACAS 2021
    其他作者: Groote, Jan Friso.
    團體作者:
    出版者: Cham :Springer International Publishing :2021.
    面頁冊數: xxi, 471 p. :ill., digital ;24 cm.
    Contained By: Springer Nature eBook
    標題: System designCongresses.
    電子資源: https://doi.org/10.1007/978-3-030-72016-2
    ISBN: 9783030720162$q(electronic bk.)
館藏
  • 1 筆 • 頁數 1 •
 
000000197946 電子館藏 1圖書 電子書 EB QA76.9.S88 T115 2021 2021 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
評論
Export
取書館別
 
 
變更密碼
登入