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

Software-Implemented Hard ...

Olga Goloubeva, ...

List Price: $ 199.99

Our Price: $ 34.30

Testing Static Random Acc ...

Said Hamdioui

List Price: $ 179.99

Our Price: $ 73.63

Dissemination of Informat ...

Juraj Hromkovič ...

List Price: $ 89.99

Our Price: $ 47.71

Robust Model-Based Fault ...

R.J. Patton

List Price: $ 399.99

Our Price: $ 269.74

Advances in Molecular Bre ...

Matthew A. Jenk ...

List Price: $ 399.99

Our Price: $ 281.29

Coding Approaches to Faul ...

Christoforos Ha ...

List Price: $ 249.99

Our Price: $ 141.75

Data-Driven Methods for F ...

Evan L. Russell ...

List Price: $ 159.99

Our Price: $ 55.35

The Economics and Politic ...

Edward L. Jr. L ...

List Price: $ 179.99

Our Price: $ 101.26