دانلود کتاب Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
سخنرانی ها در مورد روش های رسمی و عملکرد
زبان : English
نویسندگان : Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 3540424792, 9783540424796
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2090
تعداد صفحات : 434[437]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان