登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

International Refinement Workshop & Formal Methods Pacific''1998 : proceedings of IRW/FMP''98 29 Sept
出版社：Singapore : Springer-Verlag, c1998.
ISBN：9814021164
出版年：1998
作者：International Refinement Workshop and Formal Methods Pacific 1998
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal methods pacific ''97 : proceedings of FMP ''97, 9-11 July 1997, Wellington, New Zealand
  • 作者：Groves,Lindsay,
  • ISBN：981308331X
  • 出版社：Singapore : Springer, c1997.
  • 出版年：1997
...

AMC ''98-Coimbra : 1998 5th International Workshop on Advanced Motion Control : June 29-July 1, 1998,
  • 作者：International Workshop on Advanced Motion Control
  • ISBN：0780344847
  • 出版社：Piscataway, New Jersey : IEEE, c1998.
  • 出版年：1998
...

Second International Conference on Formal Engineering Methods proceedings : December 9-11, 1998, Bri
  • 作者：IEEE International Conference on Formal Engineering Methods
  • ISBN：0818691980
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1998.
  • 出版年：1998
...

ICSE 98 : proceedings of the 1998 International Conference on Software Engineering : ICSE 98
  • 作者：International Conference on Software Engineering
  • ISBN：0818683694
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c1998.
  • 出版年：1998
...

IFM ''99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29
  • 作者：IFM ''99
  • ISBN：1852331070
  • 出版社：London ; New York : Springer, c1999.
  • 出版年：1999
...

SICE ''98 : proceedings of the 37th SICE annual conference : OVTA, July 29-31, 1998 : international s
  • 作者：Overseas Vocational Training Association.
  • ISBN：0780350537
  • 出版社：Tokyo, Japan : SICE, c1998.
  • 出版年：1998