Software engineering mathematics : formal methods demystified
Jim Woodcock, Martin Loomes
Pitman, 1988
茨城大学 附属図書館 工学部分館分
007.63:Woo218801243
OPAC
国際基督教大学 図書館図
007.64/W864s04195686
電気通信大学 附属図書館研
549.98||W862218900897
電気通信大学 附属図書館開架
549.98||W862219002600
東京科学大学 すずかけ台図書館
007.64/W215420329
奈良先端科学技術大学院大学 附属図書館図
BA||1929115477
福岡工業大学 附属図書館図書館
007.63/W5462968
北陸先端科学技術大学院大学 附属図書館図
C22.5||W86 ||5950381
明治大学 図書館生
418.6||938||||K28917500
山形大学 工学部図書館
007.64//SOF710802210