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

Logics of Programs
出版社：0000.00
ISBN：3540128964
作者：E.Clarke
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
  • 作者：Symposium on Logics of Programs and their Applications
  • ISBN：0387119817
  • 出版社：Berlin ; New York : Springer-Verlag, 1983.
  • 出版年：1983
...

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
  • 作者：Parikh,Rohit
  • ISBN：0387156488
  • 出版社：Berlin ; New York : Springer-Verlag, c1985.
  • 出版年：1985
...

Logics of Programs Workshop, Yorktown Heights, New York, May 1981
  • 作者：Logics of Programs Workshop
  • ISBN：038711212X
  • 出版社：Berlin ; New York : Springer-Verlag, 1982.
  • 出版年：1982
...

Programming languages: implementations, logics, and programs : 8th international symposium, PLILP ''9
  • 作者：Kuchen,Herbert
  • ISBN：3540617566
  • 出版社：Berlin ; New York : Springer, c1996.
  • 出版年：1996
...

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 University Pittsburgh, PA, June 6-8, 1983
  • 作者：Clarke,Edmund
  • ISBN：Y8.50
  • 出版社：Berlin : Springer, 1984
  • 出版年：1984