版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005
丛 书 名：Lecture Notes in Computer Science 3731 : Programming and Software Engineering
版本说明：1
I S B N：(纸本) 9783540291893
出 版 社：Springer-Verlag
出 版 年：2005年
页 数：xii, 558 :页
主 题 词：Formal methods (Computer science) Congresses. Electronic data processing Distributed processing Congresses. Computer network protocols Congresses.
