商品介绍
ISBN: 9787030551887
出版日期: 2018-01-01
作者： 宮雲戰
裝訂： 平裝.單色印刷.274頁.16.8.
目前，原始程式碼分析是軟體工程領域的必備方法之一，有著強烈的工程需求和實用價值，已成為國際學術界和工業界的一個熱點。《原始程式碼分析》從原始程式碼分析的基本概念開始，將其中所涉及的重要的技術和應用——抽象解釋、符號計算、區間運算、路徑敏感分析、抽象記憶體建模、上下文分析、程式切片、路徑計算和約束求解等，結合大量的實例進行由淺入深的介紹和講解；同時，在《原始程式碼分析》的最後專門介紹應用原始程式碼分析技術所研發的一些常用測試工具，並重點介紹兩款靜態分析工具——DTS、CTS。
送货资讯
| 区域 | 订单总额 (RM) | 运费 (RM) |
|---|---|---|
| West Malaysia | 统一收费 | 6.00 |
| 区域 | 计算/重量 | 运费 (RM) |
|---|---|---|
| East Malaysia | 首 1.00 kg | 13.00 |
| 额外 1.00 kg | 5.00 | |
| Singapore | 首 1.00 kg | 25.00 |
| 额外 1.00 kg | 5.00 | |
| Australia, New Zealand | 首 1.00 kg | 159.77 |
| 额外 0.50 kg | 52.65 | |
| Austria, Denmark, Finland, Ireland, Switzerland, Russia | 首 1.00 kg | 157.78 |
| 额外 0.50 kg | 34.31 | |
| Brunei, Cambodia, Laos, Mongolia | 首 1.00 kg | 175.10 |
| 额外 0.50 kg | 87.14 | |
| Belgium,France, Germany, Netherlands, Spain, U.K | 首 1.00 kg | 150.94 |
| 额外 0.50 kg | 30.46 | |
| China | 首 1.00 kg | 96.44 |
| 额外 0.50 kg | 25.35 | |
| Bangladesh, Brazil, Iraq, Pakistan, Qatar, S.Arabia, UAE, Sri Lanka | 首 1.00 kg | 118.52 |
| 额外 0.50 kg | 24.96 | |
| South Africa | 首 1.00 kg | 118.52 |
| 额外 0.50 kg | 24.96 | |
| Philippines | 首 1.00 kg | 91.42 |
| 额外 0.50 kg | 15.29 | |
| Canada, United States, Mexico | 首 1.00 kg | 162.58 |
| 额外 0.50 kg | 35.90 | |
| Hong Kong | 首 1.00 kg | 80.63 |
| 额外 0.50 kg | 29.06 | |
| India | 首 1.00 kg | 113.30 |
| 额外 0.50 kg | 22.28 | |
| Indonesia | 首 1.00 kg | 107.35 |
| 额外 0.50 kg | 24.87 | |
| Japan | 首 1.00 kg | 112.97 |
| 额外 0.50 kg | 35.03 | |
| Macau | 首 1.00 kg | 92.93 |
| 额外 0.50 kg | 13.82 | |
| Singapore | 首 1.00 kg | 74.75 |
| 额外 0.50 kg | 21.49 | |
| Taiwan | 首 1.00 kg | 94.42 |
| 额外 0.50 kg | 34.76 | |
| Thailand | 首 1.00 kg | 94.10 |
| 额外 0.50 kg | 28.25 | |
| Vietnam | 首 1.00 kg | 98.94 |
| 额外 0.50 kg | 14.34 |