Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN:3540291318
CORE CONCEPTS OF ACCOUNTING INFORMATION THEME IV 1998/1999 EDITION
2222 年出版270 页ISBN:0070286000
METHODS IN MICROBIOLOGY VOLUME 6A
J.R.NORRIS D..RIBBONS2222 年出版593 页ISBN:0125215061
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN:3540236112