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

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India