作者: Goldsack, S. J.; Goldsack, Stephen J.; Kent, Stuart J. H. isbn: 3540199772 书名: Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) 页数: 368 定价: USD 59.95 出版社: Springer 装帧: Paperback 出版年: 1996-04-30
还没人写过短评呢