当前显示 Paperback Book · 显示全部
显示无货商品

Mathai Joseph的作品

Cover for Mathai Joseph · Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science (Paperback Book) (2000)

Formal Techniques in Real-time a... (2000)

Cover for Mathai Joseph · Formal Techniques in Real-time and Fault-tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988 - Lecture Notes in Computer Science (Paperback Book) (1988)

Formal Techniques in Real-time a... (1988)