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

International Symposium of Formal Methods的作品

Cover for International Symposium of Formal Methods · Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science (Paperback Book) (1994)

Fme '94 Industrial Benefit of Fo... (1994)

International Symposium of Forma...