Sign In
Sign Up
Computer Aided Verification
Orna Grumberg
-
/
5
0 votes
Vérification
Vérification Formelle
Circuits Intégrés
The Mythical Man-Month
4.2
28 votes
The Cathedral and the Bazaar
4.3
16 votes
The Soul of a New Machine
4.1
15 votes
Code Complete
4.2
22 votes
Hackers
4.1
21 votes
Structure and Interpretation of Computer Programs (SICP)
4.4
21 votes
Clean Code
4.4
35 votes
Masters of Doom
4.1
32 votes
Don't Make Me Think
4.1
15 votes
The Cuckoo’s Egg
3.9
18 votes
The C Programming Language
4.3
36 votes
Design Patterns
3.9
30 votes
The Pragmatic Programmer
4.4
41 votes
Microserfs
4.0
18 votes
Freedom™
4.1
29 votes
Daemon
4.1
44 votes
Hackers & painters
4.0
16 votes
The Visual Display of Quantitative Information
4.2
28 votes
Coders at Work
4.0
18 votes
Code
4.3
21 votes
The Innovators
3.9
18 votes
The Code Book
4.0
35 votes
Artificial intelligence
4.2
20 votes
The Phoenix Project
4.1
52 votes
Chicka chicka boom boom
3.8
27 votes
Algorithms to Live By
4.0
37 votes
In the Beginning...Was the Command Line
3.7
22 votes
Ghost in the wires
4.1
17 votes
Idoru
3.8
29 votes
JavaScript
4.1
30 votes
The obstacle is the way
3.7
23 votes
The Manager's Path
4.3
15 votes
Steve Jobs
4.1
141 votes
Sofies verden
3.9
34 votes
Dark Places
4.1
34 votes
The 4-Hour Work Week
3.7
69 votes
No Place to Hide
4.1
18 votes
Factfulness
4.4
71 votes
The God of Small Things
3.8
58 votes
Queen of Shadows (Throne of Glass Book 4)
4.6
22 votes
Pattern Recognition
3.9
51 votes
Homeland
4.2
27 votes
Neuromancer
4.0
70 votes
Marketing management
4.0
27 votes
Blink
3.8
76 votes
Goodnight Moon, 60th Anniversary Edition
4.1
61 votes
The elegant universe
4.0
22 votes
The Man Who Mistook His Wife for a Hat and Other Clinical Tales
4.1
53 votes