Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
EXPLORING ANIMAL BEHAVIOR:READINGS FROM AMERICAN SCIENTIST THIRD EDITION
PAUL W.SHERMAN AND JOHN ALCOCK2001 年出版316 页ISBN：
STATE-BY-STATE GUIDE TO DESIGN AND CONSTRUCTION CONTRACTS AND CLAIMS VOLUME 2 SECOND EDITION
MICHAEL DODD AND J.DUNCAN FINDLAY2013 年出版1891 页ISBN：1454827793
STATE-BY-STATE GUIDE TO DESIGN AND CONSTRUCTION CONTRACTS AND CLAIMS VOLUME 1 SECOND EDITION
MICHAEL DODD AND J.DUNCAN FINDLAY2011 年出版1746 页ISBN：1454827785
