版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Formal Methods for Open Object-Based Distributed Systems
丛 书 名：Lecture Notes in Computer Science
版本说明：2005
I S B N：(纸本) 9783540261810
出 版 社：Springer Berlin Heidelberg
出 版 年：2005年
页 数：x, 321 p. :页
主 题 词：Electronic data processing Distributed processing Congresses. Object-oriented programming (Computer science) Congresses.
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
