Cover Image

Theory of program structures : schemes, semantics, verification /

Show other versions (1)
Bibliographic Details
Main Author: Greibach, Sheila, 1939-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1975.
Series:Lecture notes in computer science ; 36.
Subjects:
Computer programming.
Recursive programming.
Computer programs.
Description
Physical Description:389 pages in various pagings : illustrations ; 24 cm.
Bibliography:Includes bibliography and index.
ISBN:0387074155