Lecture Notes in Computer Science 4126 Reasoning Web Second International Summer School 2006
2006 年出版268 页ISBN:354038409X
Lecture Notes in Computer Science 86 Abstract Software Specifications 1979 Copenhagen Winter School
19791980 年出版567 页ISBN:3540100075
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
Short protocols in cell biology science a compendium of methods from Current protocols in cell biolo
Juan S. Bonifacino ; Mary Dasso ; Joe B. Harford ; Jennifer Lippincott-Schwartz ; Kenneth M. Yamada2004 年出版802 页ISBN:0471483397