Formal methods : theory and practice
edited by P.N. Scharbach
BSP Professional, 1989
会津大学 情報センター (附属図書館)図
QA76.6
OPAC
Osaka International University Moriguchi Library
007.6||S21067516
九州工業大学 附属図書館 情報工学部分館
549.9||S-1250422650
Science and Technology Library, Kyushu University
007.64/Sc 1068252189007114
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C||Formal-189040898
京都大学 大学院 情報学研究科
I,1989||5.5||22089088991
札幌学院大学 図書館
0920107419
Niigata University Library図
007.63//Sc1H094882*
日本大学 工学部図書館図
549.92||F 39 SE9000379
Hiroshima Institute of Technology Library図書館
007.63||F0110643970
Show All Holding Libraries
Google Books