Applied Formal Methods - FM-Trends 98
副标题: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science)
ISBN: 9783540664628
出版社: Springer
出版年: 1999-09-29
页数: 396
定价: USD 74.95
装帧: Paperback