Design and validation of computer protocols

Design and validation of computer protocols

by Gerard J. Holzmann

Part of Prentice Hall software series

1991

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

1 readers worldwide want to read this book

Start a club free
About
How to design communication protocols using the Promela language and check them with the Spin model checker.

Discuss Design and validation of computer protocols with other readers

Join or start a book club for Design and validation of computer protocols on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Design and validation of computer protocols?

Sign up free on Readfeed, then browse public clubs or start your own club with Design and validation of computer protocols as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Design and validation of computer protocols with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Design and validation of computer protocols with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.