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

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
出版社：Berlin ; New York, NY : Springer-Verlag, c2004.
ISBN：354021366X
出版年：2004
作者：Owe,Olaf.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Molecular simulation of fluids : theory, algorithms, object-orientation, and parallel computing
  • 作者：Sadus,Richard J.,
  • ISBN：9780323853989
  • 出版社：Amsterdam : Elsevier, [2024]
  • 出版年：2024
...

Object-Orientation, Abstraction, and Data Structures Using Scala, Second Edition
  • 作者：Mark C. Lewis and Lisa L. Lacher.
  • ISBN：9781498732161
  • 出版社：Chapman and Hall/CRC, 2016.
  • 出版年：2016
...

Molecular simulation of fluids : theory, algorithms and object-orientation
  • 作者：Sadus,Richard J.
  • ISBN：0444510826
  • 出版社：Amsterdam : Elsevier Science, 1999.
  • 出版年：1999
...

Formal methods and object technology
  • 作者：Goldsack,Stephen J.,
  • ISBN：3540199772
  • 出版社：London ; New York : Springer, c1996.
  • 出版年：1996
...

Portraits from memory and other essays
  • 作者：Russell,Bertrand
  • 出版社：London : George Allen & Unwin, 1956.
  • 出版年：1956
...

From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi
  • 作者：Gnesi,Stefania,
  • ISBN：9783030309848
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019