Temporal Logic: First International Conference, Ictl '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

By H.J. Ohlbach

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354058241X
• ISBN13: 9783540582410
• Release Date: June 1994
• Publisher: Springer
• Length: 551 Pages
• Weight: 1.73 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"