Theory of program structures : schemes, semantics, verification / Sheila A. Greibach

Date : 1975

Editeur / Publisher : Berlin : Springer-Verlag , cop. 1975

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-387-07415-5

ISBN : 3-540-07415-5

Classification Dewey : 001.6/42

Greibach, Sheila (1939-....) (Auteur / author)

Collection : Lecture notes in computer science / Cham : Springer Internat. Publ , 1973-

Relation : Theory of Program Structures : Schemes, Semantics, Verification / edited by Sheila A. Greibach. / Berlin [etc.] : Springer