@BOOK{ Book!D - 93593330,
AUTHOR = "/ Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie",
TITLE = "16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY",
URL = "/book/93593330/16-2010-ProceedingsUnifying-Theories-of-Program/"}