The foundations of program verification /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Loeckx, Jacques, 1931-
مؤلفون آخرون: Sieber, Kurt, Stansifer, Ryan D.
التنسيق: كتاب
اللغة:English
منشور في: Stuttgart [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, c1984.
سلاسل:Wiley-Teubner series in computer science
الموضوعات:

CARM 1 Store

تفاصيل المقتنيات من CARM 1 Store
رقم الطلب: A2:AG36F0 C02746
النسخة 1 متاح  أحجز النسخة