1 / 1

Please read the item description carefully as the item photos may not match the actual product. View original page

Translate

プログラム仕様記述論

Price

¥ 999

( ≈ -- )
Item Condition
Minor damages/stains
Japan Domestic Shipping
¥0
Estimated Shipping Time
Within 4~7 days (Reference only)
Seller
すしー
More
Rating
192
0
Sale
2.07-2.10, Mercari ¥700 + ¥1,500 OFF! 2.07-2.11, Yahoo! Auction + Music Video Sites 4% off! 2.01-2.28, One "0 Proxy Fee" coupon daily!
「プログラム仕様記述論」 荒木啓二郎 / 張漢明 定価: ¥ 3,080 #荒木啓二郎 #張漢明 #本 #BOOK #コンピュータ #IT #自然科学と技術 本書は、ソフトウェア開発におけるいわゆる形式手法(formal methods)の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。
Translate

Related Items