/https://covers.openlibrary.org/b/id/90888-L.jpg)
Design and validation of computer protocols
por
Sobre o livro
How to design communication protocols using the Promela language and check them with the Spin model checker.
Detalhes
OpenLibrary
OL3503377W
Fonte
OpenLibrary
O Que a Galera Achou
Entre pra avaliar e comentar
EntrarNinguém falou nada ainda. Seja a primeira pessoa corajosa a dar sua opinião.
/https://covers.openlibrary.org/b/id/8169164-L.jpg)
/https://covers.openlibrary.org/b/id/8703583-L.jpg)
/https://covers.openlibrary.org/b/id/8273576-L.jpg)
/https://covers.openlibrary.org/b/id/8172473-L.jpg)
/https://covers.openlibrary.org/b/id/8167642-L.jpg)
/https://covers.openlibrary.org/b/id/14563910-L.jpg)