Normal View ISBD View

Greibach, Sheila A.

Theory of program structures : schemes, semantics, verification / Sheila A. Greibach - Berlin ; New York : Springer-Verlag, 1975 - 1 vol. (varie sequenze) : 25 cm. - Lecture notes in computer science ; 36 .

ISBN: 0387074155

Subjects--Topical Terms:
Electronic digital computers--Programming
Recursive programming. Computer programs

LC Class. No.: QA76.6.G743

Dewey Class. No.: 001.6