Theory of Program Structures: Schemes, S
โ Prof. Sheila A. Greibach (eds.)
๐ Library
๐
1975
๐ Springer-Verlag Berlin Heidelberg
๐ English
โฆ LIBER โฆ
๐
Program Semantics, Specification and Verification: Theory and Applications
โ Scribed by Nepomnyaschy Valery , Sokolov Valery , 8th International Computer Science Symposium in Russia
- Year
- 0
- Tongue
- Russian
- Leaves
- 87
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
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, programming and specification languages, etc.
๐ SIMILAR VOLUMES
Theory of Program Structures: Schemes, S
โ Prof. Sheila A. Greibach (eds.)
๐ Library
๐
1975
๐ Springer-Verlag Berlin Heidelberg
๐ English
Theory of Program Structures: Schemes, S
โ Prof. Sheila A. Greibach (eds.)
๐ Library
๐
1975
๐ Springer-Verlag Berlin Heidelberg
๐ English
Computability Theory, Semantics, and Log
โ Melvin Fitting
๐ Library
๐
1987
๐ Oxford University Press
๐ English
This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great int
Computability theory, semantics, and log
โ Fitting, Melvin
๐ Library
๐
1987
๐ Clarendon Press, Oxford University Press
๐ English
Semantic Multimedia and Ontologies: Theo
โ Yiannis Kompatsiaris, Paola Hobson
๐ Library
๐
2008
๐ Springer
๐ English
<P>This comprehensive book draws together experts to explore how knowledge technologies can be exploited to create new multimedia applications, and how multimedia technologies can provide new contexts for the use of knowledge technologies. Thorough coverage of all relevant topics is given. The step-