ehrig
روشهای رسمی در مدلسازی نرمافزار و سیستمها: مقالههای تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او
دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (به فارسی: روشهای رسمی در مدلسازی نرمافزار و سیستمها: مقالههای تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او) نوشته شده توسط «Paolo Baldan – Andrea Corradini (auth.) – Hans-Jörg Kreowski – Ugo Montanari – Fernando Orejas – Grzegorz Rozenberg – Gabriele Taentzer (eds.)» اطلاعات کتاب روشهای رسمی در مدلسازی نرمافزار و سیستمها: مقالههای تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Paolo Baldan…
روشهای رسمی در مدلسازی نرمافزار و سیستمها: مقالههای تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او
دانلود کتاب Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (به فارسی: روشهای رسمی در مدلسازی نرمافزار و سیستمها: مقالههای تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او) نوشته شده توسط «Paolo Baldan – Andrea Corradini (auth.) – Hans-Jörg Kreowski – Ugo Montanari – Fernando Orejas – Grzegorz Rozenberg – Gabriele Taentzer (eds.)» اطلاعات کتاب روشهای رسمی در مدلسازی نرمافزار و سیستمها: مقالههای تقدیم به هارتموت اریگ به مناسبت شصتمین سالگرد تولد او موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Paolo Baldan…