书籍 Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE的封面

Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE

出版社

Springer-Verlag

出版时间

2006

ISBN

3540462198

标注页数

486 页

PDF页数

501 页

书籍介绍
在线购买PDF电子书