Calibre-Web | Category: Logic

Discover (Random Books)

Amazing Maurice and His Educated Rodents

Amazing Maurice and His Educated Rodents

Pratchett, Terry

Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity

Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software ...

Paul Hudak & Mark Jones

Haskell Programming from first principles

Haskell Programming from first principles

Chris Allen & Julie Moronuki

Anathem

Anathem

Neal Stephenson

Category: Logic

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

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