دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: سیزدهمین کنفرانس بین المللی ، TACAS 2007 ، به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عمل نرم افزار ، ETAPS 2007 براگا ، پرتغال ، 24 مارس - 1 آوریل 2007. مجموعه مقالات

زبان : English

نویسندگان : Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540712089, 9783540712084

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4424 : Theoretical Computer Science and General Issues

تعداد صفحات : 740[755]

حجم : 9 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان