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

Towards a formal description of Ada
出版社：Berlin ; New York : Springer-Verlag, 1980.
ISBN：0387102833
出版年：1980
作者：Bjørner,D.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

A Formal Description of Hybrid Systems
  • 作者：Zhou Chaochen
  • 出版社：中国科学院
  • 出版年：1996
...

A Formal Approach to Lettershape Description for Type Design
  • 作者：K.Ghosh,Pijush
  • ISBN：实价：57.75
  • 出版社：Standford Stanford University 1983.
  • 出版年：1983
...

A Formal Approach to Lettershape Description for Type Design
  • 作者：K.Ghosh,Pijush
  • 出版社：Standford Stanford University 1983.
  • 出版年：1983
...

A Formal Description od Hybrid Systems
  • 作者：Zhou Chaochen
  • 出版社：中国科学院
  • 出版年：1995
...

From intervals to -? : towards a general description of validated uncertainty
  • 作者：Kreinovich,Vladik,
  • ISBN：9783031205682
  • 出版社：Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Finite automata, their algebras and grammars : towards a theory of formal expressions
  • 作者：Buchi,J. Richard.
  • ISBN：9781461388555
  • 出版社：New York : Springer-Verlag, 1989.
  • 出版年：1989