SYSTEM DESIGN FROM PROVABLY CORRECT CONSTRUCTS
Subtitle: THE BEGINNINGS OF TRUE SOFTWARE ENGINEERING ...presents not merely a design technique but an important way of thinking about systems which ought to be understood by all DP staff members.
Publisher: PRENTICE-HALL, INC.
Published: Jan 01, 1985
Language: eng
Format: hardcover
Number of pages: 392
Notes: Source title: SYSTEM DESIGN FROM PROVABLY CORRECT CONSTRUCTS: THE BEGINNINGS OF TRUE SOFTWARE ENGINEERING ...presents not merely a design technique but an important way of thinking about systems which ought to be understood by all DP staff members.