Books by Yang Meng Tan

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.