Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering)
by
Tan Yang Meng
Hardcover
details (
USA
).
ISBN: 978-0-7923-9653-6
ISBN-10: 0-7923-9653-7
Springer
· 1995
