3 ms·

I think "Specifying Systems" by Leslie Lamport should be on the list. Along with "Mastering Bitcoin: Programming the Open Blockchain Book" by Andreas Antonopou

by max_ 3y ago

I think "Specifying Systems" by Leslie Lamport should be on the list. Along with "Mastering Bitcoin: Programming the Open Blockchain Book" by Andreas Antonopoulos