Category Rules Rules Log in

Books
Tag: TLA+

Books — TLA+

EN

Logic for Programmers

Logic for Programmers

Hillel Wayne

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