Formal Program Development
Subtitle: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science)
Contributors: Steve Schuman (Editor)
Publisher: Springer
Published: December 1993
Language: eng
Number of pages: 378
ISBN-13: 9780387574998
First sentence: The book attempts to survey the area of Formal Program Development.