共有 2 項

eBook: Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (DRM PDF)

Wolfgang Schreiner, Springer International Publishing, 出版日期: 2023/04/11, 系列: Texts & Monographs in Symbolic Computation
現售: HK$845
購買後立即進貨, 約需 1-4 天

 
eBook: Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (DRM EPUB)

Wolfgang Schreiner, Springer International Publishing, 出版日期: 2023/04/11, 系列: Texts & Monographs in Symbolic Computation
現售: HK$845
購買後立即進貨, 約需 1-4 天

 

 

 

 

  我的賬戶 |  購物車 |  出版社 |  團購優惠
加入供應商 |  廣告刊登 |  公司簡介 |  條款及細則
 
  香港書城 版權所有 私隱政策聲明
 
  顯示模式: 電腦版 (改為: 手機版)