Product image

(英文圖書) Tests and Proofs: 13th International Conference Tap 2019 Held as Part of the Third World Co... 平裝版, Springer, 英文

85折
$1,678
$1,977
$200
首購折扣價
·
折扣剩下11小時
$1,878

8/5 預計送達
免運免費退貨
銀行回饋
  • 台新銀行
    最高8%
  • 玉山銀行
    最高7.5%
  • 中國信託銀行
    最高6.25%
  • 國泰世華銀行
    最高3.3%
  • 第一銀行
    最高18%
  • 永豐銀行
    最高10%
  • 聯邦銀行
    最高8.3%
  • 兆豐銀行
    最高7.5%
商品特色
  • 探索TAP 2019國際會議論文集,深入了解測試與驗證的最新研究成果,拓展您的專業視野。
  • 本書收錄形式化方法世界大會的精選論文,讓您輕鬆掌握最新的學術趨勢與技術應用,提升研究效率。
  • 透過Springer出版的嚴謹學術內容,讓您在電腦科學領域保持領先,並為您的研究提供堅實的理論基礎。
商品主要規格
ISBN
9783030311568
作者
Beyer, Dirk ; Keller, Chantal
酷澎商品編號
21006366469243 - 21013464289622

商品概述

這本《Tests and Proofs: 13th International Conference, TAP 2019》論文集,由Dirk Beyer和Chantal Keller編輯,匯集了形式化方法世界大會上關於測試與驗證的最新研究成果。本書為讀者提供了深入了解TAP 2019會議內容的機會,涵蓋了電腦科學領域的前沿議題。透過Springer的LNCS系列出版。無論您是研究人員還是專業人士,本書都能為您提供寶貴的參考價值,助您掌握最新的技術趨勢。此書為Porto會議的正式紀錄,是您研究和學習的重要資源。
查看更多

商品標示資訊

查看所有標示資訊查看更多

商品評價

酷澎上販售之同一商品的商品評價,商品賣家可能有所不同。
酷澎上販售之同一商品的商品評價,商品賣家可能有所不同。
沒有商品評價。

商品諮詢

  • 購買的商品 取消/退貨請在我的酷澎購買記錄中申請
  • 商品咨詢及評價板塊不處理取消或退貨事宜,請聯絡客服中心。
  • 價格、賣家、換貨/退貨及配送等與商品本身無關的咨詢請使用客服中心的1:1咨詢
  • 「商品本身」無關的內容、轉讓、廣告、辱罵、洗版等內容可能會被移動、隱藏或刪除
  • 請不要在公開的咨詢板塊中留下您的電話號碼、郵箱地址等個人資訊。
目前尚無咨詢。

如您發現商品有不實廣告、侵害智慧財產權或其他不適合銷售之情形,請提出檢舉