Category Rules Rules Log in

Books
Tag: Hoare logic

Books — Hoare logic

RU

Program correctness proof

Program correctness proof

К. Рустан М. Лейно

Algorithms and theory

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