Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con
ICFEM 20072007 年出版386 页ISBN:9783540766483
Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN:3540474609
TIMES COMPUTER DICTIONARY:a guide to computer jargon
JON WEDGE1984 年出版128 页ISBN:
HUMAN BEHAVIOR AND THE SOCIAL ENVIRONMENT A SOCIAL SYSTEMS MODEL SECOND EDITION
WAYNE A.CHESS JULIA M.NORLIN1991 年出版447 页ISBN:0205128246
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN:
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 190 Distributed Systems Methods and Tools for Specification An Adv
1985 年出版573 页ISBN:3540152164
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN:3540372156