APPLICATIONS OF FORMAL METHODS
MICHEAL G HINCHEY; JONATHAN P BOWEN EDS.
APPLICATIONS OF FORMAL METHODS - PRENTICE-HALL 1990 - 447
0133669491
MECHANICAL ENGINEERING DESIGN
620.0042 0151 3 N 6 / MIC
APPLICATIONS OF FORMAL METHODS - PRENTICE-HALL 1990 - 447
0133669491
MECHANICAL ENGINEERING DESIGN
620.0042 0151 3 N 6 / MIC