Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN:9780521883337
SUPPLEMENT TO PATTERN CHANGING FOR ABUSED WOMEN AN EDUCATIONAL PROGRAM
MARILYN SHEAR GOODMAN1995 年出版111 页ISBN:080395493X
AN INTRODUCTION TO SOCIOLOGY TO ACCOMPANY AN INTRODUCTION TO SOCIOLOGY
JEROME DAVIS1927 年出版1065 页ISBN:
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN: