MATHEMATICAL MODEL BUILDING:AN INTRODUCTION TO ENGINEERING
1979 年出版394 页ISBN:0813810051
Lecture Notes in Computer Science 3997 Formal Approaches to Software Testing 5th International Works
FATES 20052006 年出版218 页ISBN:3540344543
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN:354025109X
An Institutional Approach to the Responsibility to Protect
Gentian Zyberi2013 年出版554 页ISBN:9781107036444
MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN: