洋書を”低価格”で”スピーディ”にご提供。
ようこそ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
22 %

Design, Specificatio ...

Francois Bodart ...

定価: ¥ 11730

当ショップ価格: ¥ 9123

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

Logic-Based 0-1 Cons ...

Peter Barth

定価: ¥ 23578

当ショップ価格: ¥ 17299

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

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 29676

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

Design, Specificatio ...

Michael D. Harr ...

定価: ¥ 11730

当ショップ価格: ¥ 9053

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

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 25567

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

Hardware/Software Co ...

Jean-Michel Ber ...

定価: ¥ 38980

当ショップ価格: ¥ 32899

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

Design, Specificatio ...

Philippe Palanq ...

定価: ¥ 11730

当ショップ価格: ¥ 8588