作者:James L. Rash,Christopher A. Rouff,Walter Truszkowski,Diana Gordon,Michael G. Hinchey
主题词:Computer Science,Computer System Implementation,Software Engineering,Programming and Operating Systems,Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages