Theory of Program Structures : Schemes, Semantics, Verification / edited by Sheila A. Greibach.

Date :

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-540-37942-3

Génie logiciel

Informatique

Programmation (informatique)

Logiciels

Programmation récursive

Classification Dewey : 004

Classification Dewey : 001.642

Greibach, Sheila (1939-....) (Directeur de publication / publishing director)

Collection : Lecture notes in computer science / Berlin : Springer , [200.]-

Relation : Theory of program structures : schemes, semantics, verification / Sheila A. Greibach / Berlin : Springer-Verlag , cop. 1975