System design from provably correct constructs.
MARTIN, J.
Prentice-Hall, Englewood Cliffs, 1985.
ISBN: 013881483X
€ 12,00
24 cm. original hardcover, dustjacket. xviii,392 pp. diagrams. references. index. -(some underlinings and highlightings, otherwise (very) good).