Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th InternatPDF电子书下载
- 电子书积分:20 积分如何计算积分?
- 作 者:France
- 出 版 社:SpingerVerlag
- 出版年份:2006
- ISBN:
- 页数:0 页
图书介绍:
《Lecture Notes in Computer Science 4355 B 2007:Formal Specification and Development in B 7th Internat》目录
标签:
相关图书
作者其它书籍
- 《苔依丝》(法)阿纳托尔·法朗士(Anatole France)著;吴岳添译 1995
- 《企鹅岛》(法)法朗士(A.France)著;郝运译 1981
- 《人类骨骼遗骸现场鉴定手册》(美)Diane L.France著 2016
- 《植物园 400种植物的200个不可思议的逸闻趣事》(法)安妮-弗朗丝·多特维尔(Anne-France Dautheville)著 2018
- 《法朗士短篇小说选》(法)法朗士(Anatole France)著;金龙格译 1998
- 《红百合花》(法)阿纳托尔·法朗士(Anatole France)著;吴岳添,赵家鹤译 1995
- 《克里斯汀·迪奥》(法)玛丽-法兰西·波希娜(Marie-France Pochna)著;张显奎译 1998
- 《农业中的数学模型 农业及与之有关科学若干问题的数量研究》(英)法朗士(France,J.),(英)索恩利(Thornley,J.H.M.)著;金之庆,高亮之主译 1991
- 《Drugs and methods in C.V.D.:proceedings of the International Symposium on Experimental and Clinical 》International Symposium on Experimental and Clinical Methodologies for Study of Acute and Chronic Cerebrovascular Diseases Paris; France); Scientific International Research (Organization) 1981
- 《LEISURE SETTINGS:BOURGEOIS CULTURE MEDICINE》AND THE SPA IN MODERN FRANCE 1998
出版社其它书籍