Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
تاريخ النشر: 01/06/1980
الناشر: Springer
ترجمة، تحقيق: D Bjorner
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 588
مجلدات: 1
ردمك: 9783540100072