The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Baber, Robert Laurence
التنسيق:	كتاب
اللغة:	English
منشور في:	Chichester [West Sussex] ; New York : Wiley, c1988.
الموضوعات:	Computer software > Development. Computer programming.

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

مواد مشابهة