Hierarchical Annotat ...
Eduard Cerny, B ...
定価: ¥ 23578
当ショップ価格: ¥ 15538
Petri Nets for Syste ...
Claude Girault, ...
当ショップ価格: ¥ 17475
Protocol Specificati ...
Piotr Dembinski ...
定価: ¥ 35426
当ショップ価格: ¥ 28834
Computer Intensive S ...
J. S. Urban. Hj ...
当ショップ価格: ¥ 40467
Java and the Java Vi ...
Robert F. Stärk ...
定価: ¥ 12914
当ショップ価格: ¥ 8922
Verification Methodo ...
Janick Bergeron ...
当ショップ価格: ¥ 24983
System-level Test an ...
Matteo Sonza Re ...
当ショップ価格: ¥ 16595
Design, Specificatio ...
Michael D. Harr ...
定価: ¥ 11730
当ショップ価格: ¥ 8872
S.T. Vuong, Sam ...
定価: ¥ 29502
当ショップ価格: ¥ 24842
Hardware/Software Co ...
Jean-Michel Ber ...
定価: ¥ 38980
当ショップ価格: ¥ 32322
Philippe Palanq ...
当ショップ価格: ¥ 9279
Verification Plans T ...
Peet James
定価: ¥ 24762
当ショップ価格: ¥ 15955
Francois Bodart ...
Scalable Hardware Ve ...
Valeria Bertacc ...
定価: ¥ 16469
当ショップ価格: ¥ 12061
Manufacturing of Gen ...
G. Subramanian
定価: ¥ 25947
当ショップ価格: ¥ 15487
Lectures on Proof Ve ...
Ernst W. Mayr, ...
定価: ¥ 10065
当ショップ価格: ¥ 8968
Cryptographic Securi ...
Peter Gutmann
定価: ¥ 17654
当ショップ価格: ¥ 6336