（出版社）Springer　International　Pub.

67-4966-23　Automated Validation ＆ Verification of UML/OCL Models Using Satisfiability Solvers　978-3-319-89214-6

印刷

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

仕様

商品名：Automated Validation ＆ Verification of UML/OCL Models Using Satisfiability Solvers
著者：Przigoda, Nils/Wille, Robert/Przigoda, Judith/Drechsler, Rolf
装丁：Paper
頁数他：XII, 255 p. 16 illus., 5 illus. in color.
発行日：2019/06/06
分類：ソフトウェア開発工程
著者：Przigoda, Nils/Wille, Robert/Przigoda, Judith/Drechsler, Rolf
装丁：Paper
頁数他：XII, 255 p. 16 illus., 5 illus. in color.
発行日：2019/06/06
分類：ソフトウェア開発工程

アズワン品番: 67-4966-23

型番: 978-3-319-89214-6

入り数: 1冊

標準価格: 36,550円（税抜）

WEB価格: -円

アズワン在庫 [?]

数量

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

よくあるご質問

よくあるご質問（FAQ）

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

掲載カタログ情報

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