Formal Program Development
Subtitle: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes in Computer Science / Lecture Notes in Artific)
Contributors: Bernhard Mvller (Editor); Helmut Partsch (Editor); Steve Schuman (Editor)
Publisher: Not Avail
Published: December 1993
Language: eng
Format: Paperback
Number of pages: 371
ISBN-13: 9783540574996
Subjects: Computer Programming; General Theory of Computing; Programming - Software Development; Computer Science; Computers - General Information; Logic Design
First sentence: The book attempts to survey the area of Formal Program Development.