Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法

副标题: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)

ISBN: 9783540205272

出版社: Springer

出版年: 2004-01-22

页数: 455

定价: 733.94元

装帧: Paperback