洋書を”低価格”で”スピーディ”にご提供。
ようこそJPサイトへ Guest | ログイン | メインページ | お問い合わせ | 図書館/研究機関
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

Logic and Algebra of Specification

Specification and Transformation of Programs A Formal Approach to Software Development,3540525890,9783540525899
15 %

Specification and Tr ...

Helmut A. Parts ...

定価: ¥ 11730

当ショップ価格: ¥ 9928

Categorical Algebra and its Applications Proceedings of a Conference, Held in Louvain-la-Neuve, Belgium, July 26 - August 1, 1987,3540503625,9783540503620
32 %

Categorical Algebra ...

Francis Borceux

定価: ¥ 7103

当ショップ価格: ¥ 4839

Algorithmic Algebra,0387940901,9780387940908
7 %

Algorithmic Algebra

Bhubaneswar Mis ...

定価: ¥ 10657

当ショップ価格: ¥ 9928

Elements of Linear Algebra,0412552809,9780412552809

Elements of Linear A ...

P.M. Cohn

当ショップ価格: ¥ 21335

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

Protocol Specificati ...

Piotr Dembinski ...

定価: ¥ 35426

当ショップ価格: ¥ 29037

Specification and Estimation of Multiple-Output Production Functions,3540076255,9783540076254
43 %

Specification and Es ...

G. Hasenkamp

定価: ¥ 15284

当ショップ価格: ¥ 8756

Algorithmic and Combinatorial Algebra,0792323130,9780792323136
23 %

Algorithmic and Comb ...

L.A. Bokut', G. ...

定価: ¥ 22393

当ショップ価格: ¥ 17349

Algebra in a Localic Topos with Applications to Ring Theory,3540127119,9783540127116
36 %

Algebra in a Localic ...

F. Borceux, G. ...

定価: ¥ 8292

当ショップ価格: ¥ 5299

The Temporal Logic of Reactive and Concurrent Systems Specification,0387976647,9780387976648
5 %

The Temporal Logic o ...

Zohar Manna, Am ...

定価: ¥ 20023

当ショップ価格: ¥ 18942

Guaranteed Accuracy in Numerical Linear Algebra,0792323521,9780792323525
32 %

Guaranteed Accuracy ...

S.K. Godunov, A ...

定価: ¥ 25947

当ショップ価格: ¥ 17736

Algebra. Some Current Trends Proceedings of the 5th National School in Algebra, Held in Varna, Bulgaria, Sept. 24 - Oct. 4, 1986,3540503714,9783540503712
25 %

Algebra. Some Curren ...

Luchezar L. Avr ...

定価: ¥ 5450

当ショップ価格: ¥ 4067

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

Protocol Specificati ...

S.T. Vuong, Sam ...

定価: ¥ 29502

当ショップ価格: ¥ 25018