دانلود کتاب Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

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

زبان : English

نویسندگان : Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman (auth.), Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1993

ISBN (شابک) : 3540574999, 9783540574996

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

سری : Lecture Notes in Computer Science 755 : Lecture Notes in Artificial Intelligence

تعداد صفحات : 375[378]

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

فرمت کتاب : djvu

قیمت : 36000 تومان