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

Specification of software systems
出版社：New York : Springer, 1998.
ISBN：0387984305
出版年：1998
作者：Alagar,Vangalur S.,
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software and systems safety : specification and verification
  • 作者：NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
  • ISBN：9781607507109
  • 出版社：Amsterdam ; Washington, D.C. : IOS Press, c2011.
  • 出版年：2011
...

Software Engineering 2/ Specification of Systems and Languages
  • 作者：Bjoner,D.
  • ISBN：9783540211501
  • 出版社：Berlin : Springer, 2006
  • 出版年：2006
...

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, Ja
  • 作者：Knuth,E.
  • ISBN：0387122842
  • 出版社：Berlin ; New York : Springer-Verlag, 1983.
  • 出版年：1983
...

Software specification and design : a disciplined approach for real-time systems
  • 作者：Keller,Marilyn,
  • ISBN：0471532967
  • 出版社：New York : Wiley, c1992.
  • 出版年：1992
...

Software Enginering Vol.2, Specification of Systems and Languages
  • 作者：Bjorner D.
  • ISBN：9787302154327
  • 出版社：Beijing, Tsinghua UP. 2007
  • 出版年：2007
...

Software specification techniques
  • 作者：Narain Gehani
  • ISBN：0201142309
  • 出版社：Workingham : Addison-Wesley, c1986
  • 出版年：1986