0
首頁
0
熱門排行
0
個人書房
借閱次數:
0
Model checking software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /
作者:Susanne Graf, Laurent Mounier, eds.
出版者:Springer
出版地:Berlin ; New York :
語文:英語
叢書名:Lecture notes in computer science ;
主題:
SPIN (Computer file)
電子資源:
http://dx.doi.org/10.1007/b96721
ISBN/ISSN/ISRC:9783540213147 (paper)
作者:
Graf, Susanne.
;
Mounier, Laurent.
索書號:005.14
館藏
簡介
作者簡介
書架附近的資料
借這本書的人也借過下面這些書