Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Computer models in the social sciences
[by] R. B. Coats and A. Parkin.1977 年出版184 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X