The 1991 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
Pre- and post-conditions
Home
Theory of Computation
LOGICS AND MEANINGS OF PROGRAMS
Specifying and Verifying and Reasoning about Programs
Pre- and post-conditions
Term
Metadata
Pre- and post-conditions
Broader Terms
BT
↑
Specifying and Verifying and Reasoning about Programs
Date of creation
30-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
0
ARK
ark:/99152/t32xl9n0jlzj57
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search