Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429
STANDARDIZED DEVELOPMENT OF COMPUTER SOFTWARE Part 1 Methods
1977 年出版379 页ISBN:0138421951
50 YEARS OF THE EUROPEAN TREATIES LOOKING BACK AND THINKING FORWARD
MICHAEL DOUGAN AND SAMANTHA CURRIE2009 年出版439 页ISBN:1841138320
Reforming the World Bank Twenty Years of Trial-and Error
2009 年出版320 页ISBN:9780521883054
ROUGH CONSENSUS AND RUNNING CODE A THEORY OF TRANDNATIONAL PRIVATE LAW
GRALF PETER CALLIESS AND PEER ZUMBANSEN2010 年出版366 页ISBN:1841139742
Lecture Notes in Computer Science 3116 Algebraic Methodology and Software Technology 10th Internatio
AMAST 20042004 年出版569 页ISBN:3540223819