Design and validation of computer protocols /

Na minha lista:
Detalhes bibliográficos
Autor principal: Holzmann, Gerard J.
Formato: Livro
Publicado em:
Assuntos:
Endereço do item:https://app.bczm.ufrn.br/home/#/item/10990
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-5897
record_format dspace
spelling oai:localhost:123456789-58972022-11-29T12:26:29Z Design and validation of computer protocols / Holzmann, Gerard J. Sistemas de transmissão de dados. Rede de computador - Protocolos. Informática. Engenharia de controle automático. Protocolo de comunicação. Comunicação de dados. 1 2022-10-04T17:10:34Z 2022-10-04T17:10:34Z 1991. Livro 681.5 H762d 0-13-539834-7 10990 https://app.bczm.ufrn.br/home/#/item/10990 https://app.bczm.ufrn.br/home/#/item/10990
institution Acervo SISBI
collection SIGAA
topic Sistemas de transmissão de dados.
Rede de computador -
Protocolos.
Informática.
Engenharia de controle automático.
Protocolo de comunicação.
Comunicação de dados.
spellingShingle Sistemas de transmissão de dados.
Rede de computador -
Protocolos.
Informática.
Engenharia de controle automático.
Protocolo de comunicação.
Comunicação de dados.
Holzmann, Gerard J.
Design and validation of computer protocols /
description
format Livro
author Holzmann, Gerard J.
author_facet Holzmann, Gerard J.
author_sort Holzmann, Gerard J.
title Design and validation of computer protocols /
title_short Design and validation of computer protocols /
title_full Design and validation of computer protocols /
title_fullStr Design and validation of computer protocols /
title_full_unstemmed Design and validation of computer protocols /
title_sort design and validation of computer protocols /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/10990
work_keys_str_mv AT holzmanngerardj designandvalidationofcomputerprotocols
_version_ 1766837850692648960