Calibre-Web | Category: Logic

Discover (Random Books)

Charmed, I'm Sure

Charmed, I'm Sure

Lisp Hackers

Lisp Hackers

Vsevolod Dyomkin

Daemon

Daemon

Hacker Monthly #58

Hacker Monthly #58

Hacker Monthly (58)

Category: Logic

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware ...