The 1991 ACM Computing Classification System

Specifying and Verifying and Reasoning about Programs

  1. Home
  2. Theory of Computation
  3. LOGICS AND MEANINGS OF PROGRAMS
  4. Specifying and Verifying and Reasoning about Programs
Specifying and Verifying and Reasoning about Programs F.3.1

Broader Terms

More specific terms

Related terms

Date of creation
30-Dec-2011
Modified
02-Jan-2012
Accepted term
30-Dec-2011
Descendant terms
6
ARK
ark:/99152/t3v6ygk42xnx73
More specific terms
6
Alternative terms
0
Related terms
6
Notes
0
Metadata
Search
  • Search Specifying and Verifying and Reasoning about Programs (Wikipedia (ES))
  • Search Specifying and Verifying and Reasoning about Programs (Google búsqueda exacta)
  • Search Specifying and Verifying and Reasoning about Programs (Google scholar)
  • Search Specifying and Verifying and Reasoning about Programs (Google images)
  • Search Specifying and Verifying and Reasoning about Programs (Google books)