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

Structured development for real-time systems; v. 1 : Introduction & tools
出版社：New York : Yourdon Press, 1985.
ISBN：0917072510
出版年：1985
作者：Ward,Paul T.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Structured development for real-time systems; v. 2:Essential modeling techniques
  • 作者：Paul T. Ward
  • ISBN：0917072529
  • 出版社：Yourdon Press, 1985
  • 出版年：1985
...

Structured development for real-time systems; v. 2: Essential modeling techniques
  • 作者：Ward,Paul T.
  • ISBN：0917072529
  • 出版社：New York : Yourdon Press, 1985.
  • 出版年：1985
...

Structured development for real-time systems; v. 3: Implementation modeling techniques
  • 作者：Ward,Paul T.
  • ISBN：0917072537
  • 出版社：New York : Yourdon Press, 1986.
  • 出版年：1986
...

Real-time structured methods : systems analysis
  • 作者：Edwards,Keith,
  • ISBN：0471934151
  • 出版社：Chichester ; New York : Wiley, c1993
  • 出版年：1993
...

Introduction to the formal design of real-time systems
  • 作者：Gray,David,
  • ISBN：3540761403
  • 出版社：London ; New York : Springer, c1999.
  • 出版年：1999
...

Modeling and verification of real-time systems : formalisms and software tools
  • 作者：Navet,Nicolas.
  • ISBN：9781848210134
  • 出版社：Hoboken, NJ : ISTE/John Wiley, 2008.
  • 出版年：2008