洋書を”低価格”で”スピーディ”にご提供。
ようこそJPサイトへ Guest | ログイン | メインページ | お問い合わせ | 図書館/研究機関

Constraint-Based Verification

著者  
Constraint-Based Verification,0387259473,9780387259475

購入できます

通常13 日以内に発送します

東京から発送

国内無料配送

海外配送

配送時間とあなたの国への 配送料 の確認

Book Information

出版社:Springer
発売日:24-Feb-2006
ISBN:0387259473
ISBN13:9780387259475
形式:Hardback
重量:669 gms
書誌情報:pp. 268, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L

書籍タイトル "Constraint-Based Verification 1st Edition" 著者 Jun Yuan. こちらの書籍が発行された年 2006. 書籍ISBN番号 0387259473|9780387259475 このタイトルは Hardback バージョンに割り当てられます 書籍の総ページ数 pp. xii + 253 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98442 冊の素晴らしい書籍がございます

Protocol Specification, Testing and Verification XIV,0412636409,9780412636400
9 %

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 26876

Protocol Specification, Testing and Verification XV,0412716208,9780412716201
13 %

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 30692

Hardware/Software Co-Design and Co-Verification,0792396898,9780792396895
12 %

Hardware/Software Co ...

Jean-Michel Ber ...

定価: ¥ 38980

当ショップ価格: ¥ 34395

Logic-Based 0-1 Constraint Programming,0792396634,9780792396635
24 %

Logic-Based 0-1 Cons ...

Peter Barth

定価: ¥ 23578

当ショップ価格: ¥ 17943

Constraint Programming Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers,3540591559,9783540591559

Constraint Programmi ...

Andreas Podelsk ...

当ショップ価格: ¥ 12899

Design, Specification and Verification of Interactive Systems '96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996,3211829008,9783211829004
16 %

Design, Specificatio ...

Francois Bodart ...

定価: ¥ 11730

当ショップ価格: ¥ 9822