Logics of programs : workshop, Carnegie Mellon Univ. Pittsburgh, PA, June 6-8, 1983

Logics of programs : workshop Carnegie Mellon Univ. Pittsburgh PA June 6-8 1983

出版社：Berlin : Springer, 1984

出版年：1984

作者：Clarke,Edmund

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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 University Pittsburgh, PA, June 6-8, 1983

作者：Clarke,Edmund
ISBN：Y8.50
出版社：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

Workshop on Radiative Corrections in SU(2)L x U(1) : Miramare, Trieste, Italy, 6-8 June 1983

作者：Workshop on Radiative Corrections in SU(2)L x U(1)
ISBN：9971966263
出版社：Singapore : World Scientific, c1984.
出版年：1984