THELIB
Category Rules Rules Log in
  • Books
  • Tag: program verification

Books — program verification

RU
Logic and Computer: Modeling Reasoning and Program Correctness Verification

Logic and Computer: Modeling Reasoning and Program Correctness Verification

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

AI and ML
EN
Principles of Computer Programming: A Mathematical Approach

Principles of Computer Programming: A Mathematical Approach

A

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet

Other
THELIB

IT book library with translation into 8 languages.

Catalog

  • Books
  • Categories
  • Rules
  • Agreement

Account

  • Register
  • Log in
  • Support

Info

  • thelib.cc
  • v0.1
© 2026 THELIB 8 languages · AI translation on the fly