SOFTWARE ENGINEERING;MATHEMATICAL THEORY OF COMPUTATION; MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT MATHEMATICAL METHODS IN PROGRAM DEVELOPMENT By BROY MANFRED & SCHIEDER BIRGIT SPRINGER-VERLAG 1997 EURO 217.95
