0
首頁
0
熱門排行
0
個人書房
借閱次數:
0
Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings /
作者:edited by Nadia Polikarpova, Steve Schneider.
出版者:Springer International Publishing : Imprint: Springer
出版地:Cham :
語文:英語
叢書名:Lecture notes in computer science, ; Programming and software engineering
電子資源:
https://doi.org/10.1007/978-3-319-66845-1
ISBN/ISSN/ISRC:9783319668451 ; 9783319668444
作者:
Polikarpova, Nadia.
;
Schneider, Steve.
索書號:004.0151
館藏
簡介
作者簡介
書架附近的資料
借這本書的人也借過下面這些書