Mathematical methods in program development / ed. Manfred Broy, Birgit Schieder

Mathematical methods in program development / ed. Manfred Broy, Birgit Schieder . - Berlin : Springer, cop. 1997 . - VIII, 528 p. : il. 24 cm . - (NATO ASI series . Series F., Computer and Systems Sciences; 158))
3-540-63195-X (Encadernado)

519.6