首頁
登入
常見問題
信用卡優惠
我的訂單
出版社
英文電子書
英文電子書輔助分類
英文實體書
英文實體書輔助分類
聯絡我們
條款及細則
精確搜尋
登入
購物車
繁體
繁體
English
简体
eBook: Foundations of Program Verification (DRM PDF)
電子書格式:
DRM PDF
作者:
Jacques Loeckx
,
Kurt Sieber
,
Ryan Stansifer
系列:
Series in Computer Science
分類:
Engineering: general
書城編號:
22207606
售價:
$390.00
購買後立即進貨, 約需 1-4 天
加入購物車
製造商:
Vieweg+teubner Verlag
出版日期:
2013/07/02
ISBN:
9783322967534
>> 相關實體書
Series in Computer Science
eBook: Engineering Electronic Negotiations: A Guide to Electronic Negotiation Technologies for the Design and Implementation of Next-Generation Electr
eBook: Primality and Cryptography (DRM PDF)
eBook: Foundations of Program Verification (DRM PDF)
eBook: Power Aware Computing (DRM PDF)
eBook: Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction (DRM PDF)
eBook: Hierarchical Scheduling in Parallel and Cluster Systems (DRM PDF)
eBook: Mobile IP: Present State and Future (DRM PDF)
eBook: Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures (DRM PDF)
eBook: Dynamic Reconfiguration: Architectures and Algorithms (DRM PDF)
eBook: Nearest Neighbor Search:: A Database Perspective (DRM PDF)
eBook: Soft Real-Time Systems: Predictability vs. Efficiency: Predictability vs. Efficiency (DRM PDF)
eBook: Performance Modeling of Operating Systems Using Object-Oriented Simulations: A Practical Introduction (DRM PDF)
eBook: Fundamentals of X Programming: Graphical User Interfaces and Beyond (DRM PDF)
eBook: Introduction to Parallel Processing: Algorithms and Architectures (DRM PDF)
* 以上資料僅供參考之用, 香港書城並不保證以上資料的準確性及完整性。
* 如送貨地址在香港以外, 當書籍/產品入口時, 顧客須自行繳付入口關稅和其他入口銷售稅項。
我的賬戶
|
購物車
|
出版社
|
團購優惠
加入供應商
|
廣告刊登
|
公司簡介
|
條款及細則
香港書城 版權所有
私隱政策聲明
顯示模式: 電腦版 (改為:
手機版
)
