Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Dissemination of Inf ...

Juraj Hromkovič ...

定価: ¥ 13625

当ショップ価格: ¥ 6879

The Economics and Po ...

Edward L. Jr. L ...

定価: ¥ 28317

当ショップ価格: ¥ 17549

Testing Static Rando ...

Said Hamdioui

定価: ¥ 23578

当ショップ価格: ¥ 12576

Robust Model-Based F ...

R.J. Patton

定価: ¥ 57937

当ショップ価格: ¥ 50439

Coding Approaches to ...

Christoforos Ha ...

定価: ¥ 35426

当ショップ価格: ¥ 25185

Advances in Molecula ...

Matthew A. Jenk ...

定価: ¥ 47274

当ショップ価格: ¥ 36656

Data-Driven Methods ...

Evan L. Russell ...

定価: ¥ 23578

当ショップ価格: ¥ 9087