Software Engineering mathematics: formal methods demystefied
Jim Woodcock Martin Loomes
Software Engineering mathematics: formal methods demystefied - - Pitman 1989 - 291
0-273-02673-9
004.41
Software Engineering mathematics: formal methods demystefied - - Pitman 1989 - 291
0-273-02673-9
004.41