Home Books
Books : Page 84930
Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
- English
- Year: 1994
- Author: Douglas R. Smith (auth.), Yves Deville (eds.)
Formal Specification Techniques for Engineering Modular C Programs
- English
- Year: 1996
- Author: Yang Meng Tan (auth.)
