商品件数：1　1件～1件　（1ページ中 1ページめ）
Automated Theorem Proving in Software Engineering
著者：Johann M. Schumann
出版社： Springer Berlin Heidelberg
発売日： 2013年06月29日
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the……続きを見る
価格：6,076円

No results found

ID: -
［ | | 品名が | | ］
［画像 ］ ［自動改行対策 ］
楽天アフィリエイト リンク作成 （複数商品も一発で!!）