這是我們的台灣商店。

您似乎位於美國。您需要台灣地址才能在我們的台灣商店中選購。前往我們的美國商店以繼續選購。

前往美國商店選擇另一家商店
跳轉到主要內容
我的願望清單
購物車
建立帳戶
有帳戶了嗎？登入
Rigorous Software Development - An Introduction to Program Verification 電子書，作者：Jorge Sousa Pinto,Maria João Frade,Simão Melo de Sousa,José Bacelar Almeida

Rigorous Software Development

An Introduction to Program Verification

Jorge Sousa Pinto,Maria João Frade,Simão Melo de Sousa,José Bacelar Almeida
Computer Science (R0)

簡介

類別

關於本書

  • 語言：English
  • ISBN：9780857290182
  • 發行日期：2017年11月15日
  • 出版商：Springer London
  • 出版單位：Springer
  • 檔案格式：EPUB2
  • 檔案大小：3.67 MB
  • 下載選項：EPUB2 (Adobe DRM)