×
  • 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

    Limor Fix

Click on cover to enlarge.
Buy This Book
From Amazon.
18 - 20Hours to read