Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

Na minha lista:
Detalhes bibliográficos
Autor principal: Kim, Myungchul.
Formato: Livro
Publicado em:
Assuntos:
Engenharia de programas de computador.
Métodos formais (Ciências da computação).
Processamento de dados eletrônicos.
rede de computadores -
Protocolos.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/57404
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-192093
record_format dspace
spelling oai:localhost:123456789-1920932022-11-29T21:42:15Z Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / Kim, Myungchul. Engenharia de programas de computador. Métodos formais (Ciências da computação). Processamento de dados eletrônicos. rede de computadores - Protocolos. 1 2022-10-10T21:39:16Z 2022-10-10T21:39:16Z c2001. Livro 004.41 F723 0792374703 57404 https://app.bczm.ufrn.br/home/#/item/57404 https://app.bczm.ufrn.br/home/#/item/57404
institution Acervo SISBI
collection SIGAA
topic Engenharia de programas de computador.
Métodos formais (Ciências da computação).
Processamento de dados eletrônicos.
rede de computadores -
Protocolos.
spellingShingle Engenharia de programas de computador.
Métodos formais (Ciências da computação).
Processamento de dados eletrônicos.
rede de computadores -
Protocolos.
Kim, Myungchul.
Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
description
format Livro
author Kim, Myungchul.
author_facet Kim, Myungchul.
author_sort Kim, Myungchul.
title Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
title_short Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
title_full Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
title_fullStr Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
title_full_unstemmed Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
title_sort formal techniques for networked and distributed systems : forte 2001 : ifip tc6 wg6.1--21st international conference on formal techniques for networked and distributed systems, august 28-31, 2001, cheju island, korea /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/57404
work_keys_str_mv AT kimmyungchul formaltechniquesfornetworkedanddistributedsystemsforte2001ifiptc6wg6121stinternationalconferenceonformaltechniquesfornetworkedanddistributedsystemsaugust28312001chejuislandkorea
_version_ 1766848688922034176

Registros relacionados