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

LNCS.V.3800 Variations on constants : flow analysis of sequential and parallel programs
出版社：New York : Springer, 2006.
ISBN：9783540453857
出版年：2006
作者：Goos,G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Variations on constants : flow analysis of sequential and parallel programs
  • 作者：Müller-Olm,Markus.
  • ISBN：3540453857
  • 出版社：Berlin ; New York : Springer, 2006.
  • 出版年：2006
...

Verification of sequential and concurrent programs
  • 作者：Apt,Krzysztof R.,
  • ISBN：0387975322
  • 出版社：New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Verification of sequential and concurrent programs
  • 作者：Gries,David
  • ISBN：0387948961
  • 出版社：New York : Springer-Verlag, 1997.
  • 出版年：1997
...

LNCS.V.31 Analysis of drum and disk storage units
  • 作者：Fuller,Samuel H.,
  • ISBN：0387071865
  • 出版社：Berlin : Springer-verlag ; New York : Springer-Verlag, 1975.
  • 出版年：1975
...

Sequential analysis,
  • 作者：Wald,Abraham,
  • ISBN：￥21.60
  • 出版社：New York, J. Wiley & sons, inc.; London, Chapman & Hall, ltd. [1947]
  • 出版年：1947
...

Sequential analysis,
  • 作者：Wald,Abraham,
  • 出版社：New York, J. Wiley & sons, inc.; London, Chapman & Hall, ltd. [1947]
  • 出版年：1947