Зарегистрироваться
Восстановить пароль
FAQ по входу

Bradley Aaron R., Manna Zohar. The Calculus of Computation. Desicion Procedures with Applications to Verification

  • Файл формата pdf
  • размером 2,62 МБ
  • Добавлен пользователем
  • Отредактирован
Bradley Aaron R., Manna Zohar. The Calculus of Computation. Desicion Procedures with Applications to Verification
Springer, 2007. — 375 p.
Propositional Logic.
First-Order Logic.
First-Order Theories.
Program Correctness: Mechanics.
Program Correctness: Strategies.
Quantified Linear Arithmetic.
Quantifier-Free Linear Arithmetic.
Quantifier-Free Equality and Data Structures.
Combining Decision Procedures.
Arrays.
Invariant Generation.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация