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

Understanding formal methods
出版社：London ; New York : Springer, c2003.
ISBN：1852332476
出版年：2003
作者：Monin,Jean François,
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Modern formal methods and applications
  • 作者：Gabbar,Hossam A.
  • ISBN：1402042221
  • 出版社：Dordrecht : Springer, c2006.
  • 出版年：2006
...

Formal methods and object technology
  • 作者：Goldsack,Stephen J.,
  • ISBN：3540199772
  • 出版社：London ; New York : Springer, c1996.
  • 出版年：1996
...

Formal methods in systems engineering
  • 作者：Ryan,Peter,
  • ISBN：0387197516
  • 出版社：London ; New York : Springer Verlag, c1993.
  • 出版年：1993
...

Formal methods for interactive systems
  • 作者：Dix,Alan
  • ISBN：0122183150
  • 出版社：London : Academic Press, 1991.
  • 出版年：1991
...

Formal methods in artificial intelligence
  • 作者：Delahaye,Jean-Paul.
  • ISBN：0470208260
  • 出版社：New York : Wiley, c1987.
  • 出版年：1987
...

Understanding physics and physical chemistry using formal graphics
  • 作者：Vieil,Eric.
  • ISBN：9781138381438
  • 出版社：Boca Raton : CRC Press, 2012.
  • 出版年：2012