@BOOK{ Book!D - 101031077,
AUTHOR = "G. Ramalingam (ed.).",
TITLE = "Programming languages and systems :",
LIBRARY= "کتابخانه دانشکده مطالعات جهان (دانشگاه تهران)",
SUBJECT = "Programming languages (Electronic computers),Formale Spezifikationstechnik,Java <Programmiersprache>,NebenlaufigkeitBisimulationKongressBangalore <2008>,Programmiersprache,Programmverifikation,Congresses.,Kongress,Kongress,Kongress,Kongress,Kongress,Bisimulation,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>,Bangalore <2008>",
URL = "/book/101031077/Programming-languages-and-systems/"}