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

Date : 2005

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-....) (Auteur / author)

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

Accès en ligne / online access

Accès en ligne / online access