登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
TAPSOFT '87
EISBN:
9783540477174
PISBN:
9783540176114
出版社:
Springer Berlin Heidelberg
出版类型:
Proceedings
出版时间:
1987
作者:
Hartmut Ehrig,Robert Kowalski,Giorgio Levi,Ugo Montanari
主题词:
Software Engineering,Logics and Meanings of Programs,Mathematical Logic and Formal Languages
语种:
英语
所属数据库:
SpringerLink电子图书
丛书题名:
Lecture Notes in Computer Science
3浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
TAPSOFT '87
作者:
Hartmut Ehrig,Robert Kowalski,Giorgio Levi,Ugo Montanari
EISBN:
9783540477464
出版社:
Springer Berlin Heidelberg
出版时间:
1987
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
作者:
Hartmut Ehrig,Robert Kowalski,Giorgio Levi,Ugo Montanari
EISBN:
9783540477464
出版社:
Springer Berlin Heidelberg
出版时间:
1987
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
作者:
Hartmut Ehrig,Robert A. Kowalski,Giorgio Levi,Ugo Montanari
EISBN:
9783540477174
出版社:
Springer Berlin Heidelberg
出版时间:
1987
TAPSOFT '91
作者:
S. Abramsky,T. S. E. Maibaum
EISBN:
9783540465638
出版社:
Springer Berlin Heidelberg
出版时间:
1991
TAPSOFT '91
作者:
S. Abramsky,T. S. E. Maibaum
EISBN:
9783540464990
出版社:
Springer Berlin Heidelberg
出版时间:
1991
TAPSOFT '89
作者:
Josep Díaz,Fernando Orejas
EISBN:
9783540461166
出版社:
Springer Berlin Heidelberg
出版时间:
1989
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。