Books by Tan Yang Meng

3 books found

Formal specification techniques for engineering modular C programs

Formal specification techniques for engineering modular C programs

19961 ed.
Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

19961 ed.
Formal Specification Techniques for Engineering Modular C Programs

Formal Specification Techniques for Engineering Modular C Programs

20111 ed.