Flick Club LogoFlick Club Logo

Formal design and verification of a reliable computing platform for real-time control

Ricky W. Butler

Architecture (Computers) Computer Software Digital Computers
The Cathedral and the Bazaar
4.3 16 votes
The Mythical Man-Month
4.2 28 votes
Masters of Doom
4.1 32 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
Hackers
4.1 21 votes
In the Beginning...Was the Command Line
3.7 22 votes
The Soul of a New Machine
4.1 15 votes
Clean Code
4.4 35 votes
Design Patterns
3.9 30 votes
Coders at Work
4.0 18 votes
Code Complete
4.2 22 votes
JavaScript
4.1 30 votes
Hackers & painters
4.0 16 votes
Code
4.3 21 votes
The Pragmatic Programmer
4.4 41 votes
The Laws of Human Nature
4.1 66 votes
Microserfs
4.0 18 votes
Ghost in the wires
4.1 17 votes
Packing for Mars
4.1 18 votes
Reamde
3.7 47 votes
The long earth
3.8 35 votes
The C Programming Language
4.3 36 votes
Eat That Frog!
3.9 18 votes
The Everything Store
4.3 23 votes
Spell or High Water
3.6 16 votes
The Innovators
3.9 18 votes
Billy Summers
4.0 15 votes
Terre des hommes
4.2 16 votes
Don't Make Me Think
4.1 15 votes
Thinking in systems
4.4 22 votes
Dinosaur disaster
4.3 15 votes
The First Fifteen Lives of Harry August
3.9 20 votes
Ready Player One
4.0 269 votes
The willpower instinct
3.9 17 votes
The Magic Tree House Collection #1
4.3 16 votes
How to Do Nothing
4.0 17 votes
The Rise and Fall of D.O.D.O.
3.7 23 votes
Algorithms to Live By
4.0 37 votes
A Scanner Darkly
3.9 48 votes
The Stars, Like Dust
3.3 21 votes
Pebble in the Sky
4.0 21 votes
A Court of Silver Flames (A Court of Thorns and Roses Book 5)
4.5 20 votes
We Are Legion
4.2 15 votes
Record of a Spaceborn Few
4.1 22 votes
Project Hail Mary
4.5 100 votes
Brain on fire
3.6 18 votes
A Conjuring of Light
4.3 16 votes
Elevation
3.7 18 votes