دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
روش های رسمی در مدل سازی نرم افزار و سیستم ها: مقاله های اختصاص داده شده به هارتموت اریگ به مناسبت 60 سالگی
زبان : English
نویسندگان : Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2005
ISBN (شابک) : 3540249362, 9783540249368
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3393 : Programming and Software Engineering
تعداد صفحات : 420[432]
حجم : 4 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان