Modal logic and process algebra : a bisimulation perspective /

Na minha lista:
Detalhes bibliográficos
Principais autores: Ponse, A., Rijke, Maarten de., Venema, Yde
Formato: Livro
Publicado em:
Assuntos:
Linguagem formal(Computação).
Lógica(Computação).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/57517
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-192118
record_format dspace
spelling oai:localhost:123456789-1921182022-11-29T21:43:44Z Modal logic and process algebra : a bisimulation perspective / Ponse, A. Rijke, Maarten de. Venema, Yde, Linguagem formal(Computação). Lógica(Computação). 1 2022-10-10T21:40:49Z 2022-10-10T21:40:49Z c1995. Livro 004.423 M689 1881526968 57517 https://app.bczm.ufrn.br/home/#/item/57517 https://app.bczm.ufrn.br/home/#/item/57517
institution Acervo SISBI
collection SIGAA
topic Linguagem formal(Computação).
Lógica(Computação).
spellingShingle Linguagem formal(Computação).
Lógica(Computação).
Ponse, A.
Rijke, Maarten de.
Venema, Yde,
Modal logic and process algebra : a bisimulation perspective /
description
format Livro
author Ponse, A.
Rijke, Maarten de.
Venema, Yde,
author_facet Ponse, A.
Rijke, Maarten de.
Venema, Yde,
author_sort Ponse, A.
title Modal logic and process algebra : a bisimulation perspective /
title_short Modal logic and process algebra : a bisimulation perspective /
title_full Modal logic and process algebra : a bisimulation perspective /
title_fullStr Modal logic and process algebra : a bisimulation perspective /
title_full_unstemmed Modal logic and process algebra : a bisimulation perspective /
title_sort modal logic and process algebra : a bisimulation perspective /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/57517
work_keys_str_mv AT ponsea modallogicandprocessalgebraabisimulationperspective
AT rijkemaartende modallogicandprocessalgebraabisimulationperspective
AT venemayde modallogicandprocessalgebraabisimulationperspective
_version_ 1766817415269711872

Registros relacionados