Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
NONTRADITIONAL METHODS OF SENSING STREE,STAIN,AND DAMAGE IN MATERIALS AND STRUCTURES SEDNOD VOLUME
G.F.LUCAS P.C.MCKEIGHAN J.S.RANSOM2222 年出版213 页ISBN:0803128827