Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedin
تاريخ النشر: 05/10/1993
الناشر: Springer
ترجمة: Dines Bjّrner
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 452
مجلدات: 1
ردمك: 9783540573166