automatic program verificationの例文


  1. He received the Turing Award in 1978 " for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science : the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms ".


  1. "automatic program search system"の例文
  2. "automatic program selection"の例文
  3. "automatic program setting method"の例文
  4. "automatic program synthesis"の例文
  5. "automatic program unit"の例文
  6. "automatic programed checkout equipment"の例文
  7. "automatic programme control"の例文
  8. "automatic programmed checkout equipment"の例文
  9. "automatic programmed elevator"の例文
  10. "automatic programmed tools"の例文
  11. "automatic program synthesis"の例文
  12. "automatic program unit"の例文
  13. "automatic programed checkout equipment"の例文
  14. "automatic programme control"の例文

著作権 © 2023 WordTech 株式会社