Formal Program Development
Möller, Bernhard.
Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540481973
Computer science.; Software engineering.; Logic design.; Algebra; Combinatorics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Combinatorics.; Symbolic and Algebraic Manipulation.; Programming Techniques.
Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540481973
Computer science.; Software engineering.; Logic design.; Algebra; Combinatorics.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Combinatorics.; Symbolic and Algebraic Manipulation.; Programming Techniques.