Flick Club LogoFlick Club Logo

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

Congrès Logiciels Software Development & Engineering
The Mythical Man-Month
4.2 28 votes
Clean Code
4.4 35 votes
Code Complete
4.2 22 votes
The Cathedral and the Bazaar
4.3 16 votes
Design Patterns
3.9 30 votes
Masters of Doom
4.1 32 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
Hackers
4.1 21 votes
The Pragmatic Programmer
4.4 41 votes
The C Programming Language
4.3 36 votes
Coders at Work
4.0 18 votes
Don't Make Me Think
4.1 15 votes
JavaScript
4.1 30 votes
Code
4.3 21 votes
The Soul of a New Machine
4.1 15 votes
Algorithms to Live By
4.0 37 votes
Microserfs
4.0 18 votes
The Manager's Path
4.3 15 votes
Hackers & painters
4.0 16 votes
The Visual Display of Quantitative Information
4.2 28 votes
The 4-Hour Work Week
3.7 69 votes
Steve Jobs
4.1 141 votes
The Code Book
4.0 35 votes
Artificial intelligence
4.2 20 votes
The Phoenix Project
4.1 52 votes
The Cuckoo’s Egg
3.9 18 votes
The Billionaire's Pregnant Mistress
4.2 18 votes
In the Beginning...Was the Command Line
3.7 22 votes
Ghost in the wires
4.1 17 votes
Player Piano
3.8 27 votes
The Signal and the Noise
3.9 48 votes
The Innovators
3.9 18 votes
I Am America (And So Can You!)
3.9 23 votes
After Babel
4.5 17 votes
Thinking in systems
4.4 22 votes
The Power of Your Subconscious Mind
4.5 21 votes
The Difference Engine
3.3 22 votes
The Satanic Verses
3.6 24 votes
Ikigai
4.0 58 votes
Red Mars
3.7 67 votes
Firestarter
3.8 23 votes
Daemon
4.1 44 votes
Rogue protocol
4.2 66 votes
Leviathan (Leviathan #1)
3.9 22 votes
When You're Ready, This Is How You Heal
4.4 15 votes
Factfulness
4.4 71 votes
The God of Small Things
3.8 58 votes
Guns, germs, and steel
4.1 134 votes