The construction of formal specifications : : an introduction to the model-based and algebraic approaches /

Κύριος συγγραφέας: Turner, J. G.
Άλλοι συγγραφείς: McGluskey, T. L.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London : McGraw-Hill Book Company, c1994
Θέματα: