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

Logics of programs : workshop Carnegie Mellon University Pittsburgh PA June 6-8 1983
出版社：Berlin : Springer, 1984
ISBN：Y8.50
出版年：1984
作者：Clarke,Edmund
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Logics of programs : workshop, Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
  • 作者：Clarke,Edmund
  • 出版社：Berlin : Springer, 1984
  • 出版年：1984
...

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
  • 作者：Clarke,Edmund.
  • ISBN：0387128964
  • 出版社：Berlin ; New York : Springer-Verlag, 1984.
  • 出版年：1984
...

Logics of programs : workshop, Carnegie Mellon Univ. Pittsburgh, PA, June 6-8, 1983
  • 作者：Clarke,Edmund
  • 出版社：Berlin : Springer, 1984
  • 出版年：1984
...

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
  • 作者：Brookes,S.D.
  • ISBN：3540156704
  • 出版社：Berlin ; New York : Springer-Verlag, 1985.
  • 出版年：1985
...

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
  • 作者：Seminar on Concurrency
  • ISBN：0387156704
  • 出版社：Berlin ; New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2
  • 作者：Workshop on Logic and Computation
  • ISBN：0821851101
  • 出版社：Providence, R.I. : American Mathematical Society, c1990.
  • 出版年：1990