TOP
0
0
進階搜尋

熱搜：

哥吉拉大解剖圖鑑

、

UFO Cat

、

難哄

、

節能LED燈泡

、

史坎德3新上市

、

2025線上國際書展

、

特價字典展

、

國文爆卦公社２

、

公務員每月一書

、

特斯拉

、

2026經典賽

、

伍佰

熱搜： 哥吉拉大解剖圖鑑、 UFO Cat、 難哄、 節能LED燈泡、 史坎德3新上市、 2025線上國際書展、 特價字典展、 國文爆卦公社２、 公務員每月一書、 特斯拉、 2026經典賽、 伍佰

165反詐騙

購書領優惠，滿額享折扣!

縮小範圍

商品類型
原文書 （3）
商品狀況
可訂購商品 （3）
庫存狀況
無庫存 （3）
商品定價
$800以上 （3）
出版日期
2023~2024 （1）
2021~2022 （1）
2017~2018 （1）
裝訂方式
平裝 （1）
精裝 （2）
作者
David M. Russinoff （2）
David M. Russinoff/ J. Strother Moore (FRW) （1）
出版社/品牌
Springer Nature （3）

三民網路書店 / 搜尋結果

共3筆商品，1/1頁
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
1.

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

作者：David M. Russinoff  出版社：Springer Nature  出版日：2022/04/04 裝訂：精裝
缺貨無法訂購
到貨時通知我
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
2.

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

作者：David M. Russinoff  出版社：Springer Nature  出版日：2023/03/05 裝訂：平裝
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
Formal Verification of Floating-point Hardware Design ― A Mathematical Approach
3.

Formal Verification of Floating-point Hardware Design ― A Mathematical Approach

作者：David M. Russinoff; J. Strother Moore (FRW)  出版社：Springer Nature  出版日：2018/10/22 裝訂：精裝
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design
若需訂購本書，請電洽客服
02-25006600[分機130、131]。
無法訂購
  • 共

暢銷榜
客服中心
收藏
會員專區
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品