System Design from Provably Correct Constructs
Subtitle: The Beginnings of True Software Engineering
Publisher: Prentice Hall
Published: November 1984
Language: eng
Number of pages: 480
ISBN-13: 9780138814830