RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
CCS-Classification (computer science)
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.0 General
(1)
F.3.1 Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
(5)
F.3.2 Semantics of Programming Languages (D.3.1)
(3)
F.3.3 Studies of Program Constructs (D.3.2-3)
F.3.m Miscellaneous
Sitelinks
|
KLUEDO
Logo ©
Univerity Library of RPTU
,
OPUS
4 ©
KOBV
Login