Formal Descriptions of Developing Systems

By James B. Nation

Trade Paperback