MC CONKEY, A. THE CONSTRUCTION OF FORMAL SPECIFICATIONS / MC CONKEY, A. - [S.N] : MC GRAW - HILL ، 1994 - 420 P Subjects--Topical Terms: SOFTWARE ENGINEERING Dewey Class. No.: 005.12 / T C