دانلود کتاب Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

آزمون ها و اثبات ها: اولین کنفرانس بین المللی ، TAP 2007 ، زوریخ ، سوئیس ، 12 تا 13 فوریه 2007. مقالات اصلاح شده

زبان : English

نویسندگان : Yannis Smaragdakis, Christoph Csallner (auth.), Yuri Gurevich, Bertrand Meyer (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540737693, 9783540737698

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

سری : Lecture Notes in Computer Science 4454 : Programming and Software Engineering

تعداد صفحات : 217[225]

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

فرمت کتاب : pdf

قیمت : 36000 تومان