（出版社）Springer　Verlag

67-4963-70　Decision Procedures　978-3-662-57065-4

[(publisher) Springer Verlag]

印刷

※お見積書はカートで印刷できます

仕様

サブタイトル：An Algorithmic Point of View
著者：Kroening, Daniel/Strichman, Ofer
叢書名：Texts in Theoretical Computer Science. An EATCS Series
装丁：Paper
頁数他：XXI, 356 p. 64 illus., 5 illus. in color.
発行日：2018/07/13
分類：計算理論

アズワン品番: 67-4963-70

型番: 978-3-662-57065-4

入り数: 1冊

標準価格: 12,180円（税抜）

WEB価格

アズワン在庫 [?]

数量

※お気に入り機能はログイン後にご利用いただけます

返品・交換について
お支払いについて

よくあるご質問

よくあるご質問（FAQ）

よくあるご質問を検索する

掲載カタログ情報

掲載カタログ名	掲載ページ