Design And Validation Of Computer Protocols
ISBN: 0135399254
Buy on Amazon
Found in 1 comment on Hacker News
bediger4000 · 2023-02-01 · Original thread
Design and validation of computer protocols, Gerard Holzmann.

https://www.amazon.com/Design-Validation-Computer-Protocols-...

Dang that's pricey.

Fresh book recommendations delivered straight to your inbox every Thursday.