登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Concrete Abstractions
EISBN：9783031249341
PISBN：9783031249334
出版社：Springer Nature
出版时间：2023
作者：Wolfgang Schreiner
主题词：logic in computer science,model checking,formal modeling ans reasoning,program specification and verification,discrete structures and algorithms,nondeterminism and concurrency,mathematics and computer science education
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts & Monographs in Symbolic Computation
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Concrete
  • 作者：Mehta,P. Kumar;Monteiro,Paulo J. M.
  • EISBN：9780071589192
  • 出版社：McGraw-Hill Professional Publishing
  • 出版时间：2005-10-17
...

Concrete
  • 作者：Akroyd,T. N. W.
  • PISBN：9780080095950
  • 出版时间：Legacy
...

Marine Concrete
  • 作者：A. L. Marshall
  • EISBN：9781468499667
  • 出版社：Springer US
  • 出版时间：1990
...

Marine Concrete
  • 作者：A.L. Marshall
  • EISBN：9781468499667
  • 出版社：Springer US
  • 出版时间：1990
...

Structural Concrete
  • 作者：Wilby,C. B.
  • PISBN：9780408011709
  • 出版时间：Legacy
...

Concrete Admixtures
  • 作者：V.H. Dodson
  • EISBN：9781475748437
  • 出版社：Springer US
  • 出版时间：1990