Applications of formal methods

التفاصيل البيبلوغرافية
مؤلفون آخرون:	Hinchey, Michael G. (Michael Gerard) 1969-, Bowen, J. P. (Jonathan Peter) 1956-
التنسيق:	كتاب
منشور في:	London Prentice Hall 1995.
سلاسل:	Prentice-Hall international series in computer science
الموضوعات:	System design. Computer software > Development.