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
الموضوعات:	Computer programs > Verification.

مواد مشابهة