On the refinement calculus

出版社:London ; New York : Springer-Verlag, c1992.
ISBN:0387198091
出版年:1992
作者:Morgan,Carroll,
资源类型:图书
细分类型:西文文献
相关推荐

Refinement calculus : a systematic introduction

  • 作者:Back,Ralph-Johan.
  • ISBN:0387984178
  • 出版社:New York : Springer, c1998.
  • 出版年:1998

Calculus

  • 作者:Stewart,James,
  • ISBN:9781337624183
  • 出版社:Cengage, 2021.
  • 出版年:2021

Calculus

  • 作者:Spivak,Michael.
  • ISBN:0521867444
  • 出版社:Cambridge, UK : Cambridge University Press, 2006.
  • 出版年:2006

Calculus

  • 作者:Hughes-Hallett,Deborah.
  • ISBN:9780470089156
  • 出版社:Hoboken, NJ : John Wiley, c2009.
  • 出版年:2009

Calculus

  • 作者:Loomis,Lynn H.
  • ISBN:0201050455
  • 出版社:Reading : Addison-Wesley, c1982
  • 出版年:1982

Calculus

  • 作者:Bers,Lipman
  • ISBN:0030892686
  • 出版社:New York : Holt, Rinehart and Winston, c1976
  • 出版年:1976