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

Software Engineering 2/ Specification of Systems and Languages
出版社：Berlin : Springer, 2006
ISBN：9783540211501
出版年：2006
作者：Bjoner,D.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Specification of software systems
  • 作者：Alagar,Vangalur S.,
  • ISBN：0387984305
  • 出版社：New York : Springer, 1998.
  • 出版年：1998
...

Software specification and design : an engineering approach
  • 作者：Munson,John C.
  • ISBN：0849319927
  • 出版社：Boca Raton : Auerbach Publications, 2006.
  • 出版年：2006
...

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 with OBJ : algebraic specification in action
  • 作者：Goguen,Joseph,
  • ISBN：0792377575
  • 出版社：Boston : Kluwer Academic, c2000.
  • 出版年：2000
...

Software engineering for large software systems
  • 作者：kitchenham,B.A.
  • ISBN：1851665048
  • 出版社：London ; New York : Elsevier Applied Science, c1990.
  • 出版年：1990