Programming and Proving Correctness of the Scanning Algorithm with Backtrack,

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 19, 1980
Accession Number
ADA091062

Entities

People

  • Juraj Wiedermann

Organizations

  • National Air and Space Intelligence Center

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computer Programming
  • Computers
  • Concrete
  • Construction
  • Errors
  • Foreign Technology
  • Instructions
  • Language
  • Programming Languages
  • Scanning
  • Standards
  • Translations