Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly With the Working Group Provably Correct Systems, ProCoS, L Ubeck, Germany, September 19-23, 1994 : Proceedings - Lecture Notes in Computer Science

Save $2.17

• RRP $30.54
• $28.37

• $47.25

Save $8.55

• RRP $61.06
• $52.51

Save $2.42

• RRP $27.75
• $25.33

Save $15.26

• RRP $41.60
• $26.34

Save $9.17

• RRP $49.95
• $40.78

• $62.60

Save $12.93

• RRP $104.08
• $91.15

Save $2.63

• RRP $58.22
• $55.59

• $43.37