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

Formal description techniques
出版社：1990.11
ISBN：0444890246
作者：Juan Quemada
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV
  • 作者：IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Syste
  • ISBN：0412847604
  • 出版社：Boston : Kluwer Academic Publishers, 1998.
  • 出版年：1998
...

Formal description of programming concepts
  • 作者：Neuhold,Erich J.
  • ISBN：3540539611
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference
  • 作者：Diaz,Michel
  • ISBN：0444892826
  • 出版社：Amsterdam : North-Holland, 1993.
  • 出版年：1993
...

Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conferen
  • 作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems a
  • ISBN：0444894020
  • 出版社：Amsterdam ; New York : North-Holland ; New York : Distributors for the U.S. and Canada, Elsevier Sci
  • 出版年：1992
...

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conferenc
  • 作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems a
  • ISBN：0444890246
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
  • 出版年：1991
...

A Formal Description of Hybrid Systems
  • 作者：Zhou Chaochen
  • 出版社：中国科学院
  • 出版年：1996