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

Juraj Hromkovič ...

List Price: $ 89.99

Our Price: $ 47.41

Software-Implemented Hard ...

Olga Goloubeva, ...

List Price: $ 199.99

Our Price: $ 34.34

Robust Model-Based Fault ...

R.J. Patton

List Price: $ 399.99

Our Price: $ 261.78

Advances in Molecular Bre ...

Matthew A. Jenk ...

List Price: $ 399.99

Our Price: $ 256.70

Data-Driven Methods for F ...

Evan L. Russell ...

List Price: $ 159.99

Our Price: $ 55.28

Testing Static Random Acc ...

Said Hamdioui

List Price: $ 179.99

Our Price: $ 71.89

The Economics and Politic ...

Edward L. Jr. L ...

List Price: $ 179.99

Our Price: $ 100.63

Coding Approaches to Faul ...

Christoforos Ha ...

List Price: $ 249.99

Our Price: $ 139.99