tc2wg

توسعه برنامه رسمی: گزارش پیشرفته IFIP TC2/WG 2.1

دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report (به فارسی: توسعه برنامه رسمی: گزارش پیشرفته IFIP TC2/WG 2.1) نوشته شده توسط «Bernhard Möller – Helmut A. Partsch – Stephen A. Schuman (auth.) – Bernhard Möller – Helmut Partsch – Steve Schuman (eds.)» اطلاعات کتاب توسعه برنامه رسمی: گزارش پیشرفته IFIP TC2/WG 2.1 موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Bernhard Möller – Helmut A. Partsch – Stephen A. Schuman (auth.) – Bernhard Möller – Helmut Partsch – Steve Schuman (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993…