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.52

Robust Model-Based Fault ...

R.J. Patton

List Price: $ 399.99

Our Price: $ 273.56

Data-Driven Methods for F ...

Evan L. Russell ...

List Price: $ 159.99

Our Price: $ 55.75

Coding Approaches to Faul ...

Christoforos Ha ...

List Price: $ 249.99

Our Price: $ 144.78

Advances in Molecular Bre ...

Matthew A. Jenk ...

List Price: $ 399.99

Our Price: $ 287.37

Testing Static Random Acc ...

Said Hamdioui

List Price: $ 179.99

Our Price: $ 74.99

The Economics and Politic ...

Edward L. Jr. L ...

List Price: $ 179.99

Our Price: $ 103.83

Dissemination of Informat ...

Juraj Hromkovič ...

List Price: $ 89.99

Our Price: $ 44.36