Jim Woodcock Martin Loomes

Software Engineering mathematics: formal methods demystefied - - Pitman 1989 - 291



0-273-02673-9

004.41