Foundations of Software Technology and Theoretical Computer Science

الغلاف الأمامي
S. Ramesh, G. Sivakumar
Springer, 15‏/01‏/2014 - 364 من الصفحات
This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

طبعات أخرى - عرض جميع المقتطفات

Foundations of Software Technology and Theoretical Computer ..., المجلد 17
<span dir=ltr>S. Ramesh</span>‏
معاينة محدودة - 1997

نبذة عن المؤلف (2014)

Dr. Ramesh is the Chiarman of the "Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems," 5 - 6 Jan. 2007 in NIAS Auditorium, IISc Campus, Bangalore, India. He is also a seniro member of the GM R& D, Bangalore, India.

معلومات المراجع

العنوانFoundations of Software Technology and Theoretical Computer Science
المجلد 1346 من Lecture notes in computer science
المُحررونS. Ramesh, G. Sivakumar
الإصدارمزود بصور توضيحية
الناشرSpringer, 2014
رقم ISBN (الرقم الدولي المعياري للكتاب)3662193949, 9783662193945
عدد الصفحات364 من الصفحات
  
تصدير الاقتباسBiBTeX EndNote RefMan