Logics for Emerging ...
Jan Chomicki, R ...
定価: ¥ 18838
当ショップ価格: ¥ 17450
Electronic Chips & S ...
Jean Mermet
定価: ¥ 34952
当ショップ価格: ¥ 10817
Protocol Specificati ...
S.T. Vuong, Sam ...
定価: ¥ 29502
当ショップ価格: ¥ 24299
Logic and Algebra of ...
Friedrich L. Ba ...
定価: ¥ 42534
当ショップ価格: ¥ 24580
System on Chip Desig ...
Anne Mignotte, ...
定価: ¥ 25947
当ショップ価格: ¥ 25182
Quantifiers Logics, ...
Michal Krynicki ...
定価: ¥ 24762
当ショップ価格: ¥ 16696
High-Integrity Syste ...
Jonathan P. Bow ...
定価: ¥ 11730
当ショップ価格: ¥ 9286
Conditional Specific ...
Barry C. Arnold ...
定価: ¥ 22393
当ショップ価格: ¥ 16845
The Interpretation o ...
Iain Craig, I C ...
定価: ¥ 12203
当ショップ価格: ¥ 5530
Time Map Phonology F ...
J. Carson-Bernd ...
当ショップ価格: ¥ 16453
Specification of Sof ...
V.S. Alagar
定価: ¥ 10657
当ショップ価格: ¥ 5682
Specification and Es ...
G. Hasenkamp
定価: ¥ 15284
当ショップ価格: ¥ 8689
Many-Valued Logics 1 ...
Leonard Bolc, P ...
定価: ¥ 20023
当ショップ価格: ¥ 12069
The Temporal Logic o ...
Zohar Manna, Am ...
当ショップ価格: ¥ 18783
Specification and Tr ...
Helmut A. Parts ...
当ショップ価格: ¥ 9680
Verification Plans T ...
Peet James
当ショップ価格: ¥ 26116
Specification and De ...
Manfred Broy, K ...
当ショップ価格: ¥ 4475
Logics for Databases ...
Jan Chomicki, G ...
定価: ¥ 38980
当ショップ価格: ¥ 32537
Programming Language ...
Soren Bo Nielse ...
当ショップ価格: ¥ 24899
Piotr Dembinski ...
定価: ¥ 35426
当ショップ価格: ¥ 28817