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

Constraint-Based Verification

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

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

Hardware/Software Co ...

Jean-Michel Ber ...

定価: ¥ 38980

当ショップ価格: ¥ 34395

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

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

Logic-Based 0-1 Cons ...

Peter Barth

定価: ¥ 23578

当ショップ価格: ¥ 17943

Design, Specification and Verification of Interactive Systems '95 Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995,3211827390,9783211827390
16 %

Design, Specificatio ...

Philippe Palanq ...

定価: ¥ 11730

当ショップ価格: ¥ 9866

Design, Specification and Verification of Interactive Systems '97 Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997,3211830553,9783211830550
17 %

Design, Specificatio ...

Michael D. Harr ...

定価: ¥ 11730

当ショップ価格: ¥ 9767

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

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 30692

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

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 26876