Theory of Program Structures: Schemes, S
โ Prof. Sheila A. Greibach (eds.)
๐ Library
๐
1975
๐ Springer-Verlag Berlin Heidelberg
๐ English
โฆ LIBER โฆ
๐
Theory of Program Structures: Schemes, Semantics, Verification
โ Scribed by Prof. Sheila A. Greibach (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1975
- Tongue
- English
- Leaves
- 375
- Series
- Lecture Notes in Computer Science 36
- Edition
- 1
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Subjects
Software Engineering; Logics and Meanings of Programs
๐ SIMILAR VOLUMES
Theory of Program Structures: Schemes, S
โ Prof. Sheila A. Greibach (eds.)
๐ Library
๐
1975
๐ Springer-Verlag Berlin Heidelberg
๐ English
Program Semantics, Specification and Ver
โ Nepomnyaschy Valery , Sokolov Valery , 8th International Computer Science Symp
๐ Library
๐
0
๐ Russian
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification,
A theory of structural semantics
โ Samuel Abraham; Ferenc Kiefer
๐ Library
๐
1966
๐ De Gruyter Mouton
๐ English
๐ Library
๐ English
Semantics of Programming Languages: Stru
โ Carl A. Gunter
๐ Library
๐
1992
๐ The MIT Press
๐ English
<P>Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text fo